diff --git a/theories/lang/base.v b/theories/lang/base.v
index 7aa413ff34fe3317cd8c137382e02dc0ccf5cd96..7c49f7d19d86339bf47577dedce435bb75d23b77 100644
--- a/theories/lang/base.v
+++ b/theories/lang/base.v
@@ -303,7 +303,6 @@ Bind Scope expr_scope with expr.
 Delimit Scope expr_scope with E.
 Arguments Rec _ _ _%E.
 Arguments App _%E _%E.
-Arguments Lit _.
 Arguments UnOp _ _%E.
 Arguments BinOp _ _%E _%E.
 Arguments If _%E _%E _%E.