Update Makefile.bnf to include neg_nat

Deducteam · Apr 24, 2024 · 182a4f5 · 182a4f5
1 parent 3a415e7
commit 182a4f5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/doc/Makefile.bnf b/doc/Makefile.bnf
@@ -39,6 +39,7 @@ lambdapi.bnf: Makefile.bnf ../src/parsing/lpParser.mly
 	-e 's/INFIX/"infix"/g' \
 	-e 's/INJECTIVE/"injective"/g' \
 	-e 's/LET/"let"/g' \
+	-e 's/NEG_NAT/<neg_nat>/g' \
 	-e 's/NAT/<nat>/g' \
 	-e 's/NOTATION/"notation"/g' \
 	-e 's/OPEN/"open"/g' \

diff --git a/doc/lambdapi.bnf b/doc/lambdapi.bnf
@@ -182,7 +182,7 @@ QID ::= [UID "."]+ UID
              | "quantifier"
 
 <float_or_int> ::= <float>
-                 | NEG_<nat>
+                 | <neg_nat>
                  | <nat>
 
 <maybe_generalize> ::= ["generalize"]