Skip to content
Snippets Groups Projects
Commit 61853abe authored by Ralf Jung's avatar Ralf Jung
Browse files

remove useless Arguments

parent 7a076b9b
No related branches found
No related tags found
No related merge requests found
Pipeline #
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 1 deletion
theories/lang/base.v
+ 0
− 1
View file @ 61853abe
...@@ -303,7 +303,6 @@ Bind Scope expr_scope with expr. ...@@ -303,7 +303,6 @@ Bind Scope expr_scope with expr.
Delimit Scope expr_scope with E. Delimit Scope expr_scope with E.
Arguments Rec _ _ _%E. Arguments Rec _ _ _%E.
Arguments App _%E _%E. Arguments App _%E _%E.
Arguments Lit _.
Arguments UnOp _ _%E. Arguments UnOp _ _%E.
Arguments BinOp _ _%E _%E. Arguments BinOp _ _%E _%E.
Arguments If _%E _%E _%E. Arguments If _%E _%E _%E.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment