From 61853abe12891bd70652a161e85031c9ee006dbd Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 30 May 2018 10:14:49 +0200
Subject: [PATCH] remove useless Arguments

---
 theories/lang/base.v | 1 -
 1 file changed, 1 deletion(-)

diff --git a/theories/lang/base.v b/theories/lang/base.v
index 7aa413ff..7c49f7d1 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.
-- 
GitLab