remove old unused terminals

potassco · Jun 25, 2024 · b00fc99 · b00fc99
1 parent 28c1b3a
commit b00fc99
Showing 1 changed file with 21 additions and 25 deletions.
diff --git a/libgringo/src/input/nongroundgrammar.yy b/libgringo/src/input/nongroundgrammar.yy
@@ -211,75 +211,71 @@ void NonGroundGrammar::parser::error(DefaultLocation const &l, std::string const
 %token
     ADD         "+"
     AND         "&"
-    EQ          "="
+    ANY         "any"
     AT          "@"
-    BASE        "#base"
+    BINARY      "binary"
+    BLOCK       "#program"
     BNOT        "~"
+    BODY        "body"
     COLON       ":"
     COMMA       ","
     CONST       "#const"
     COUNT       "#count"
-    CUMULATIVE  "#cumulative"
+    DEFINED     "#defined"
+    DIRECTIVE   "directive"
     DOT         "."
     DOTS        ".."
+    EDGE        "#edge"
     END         0 "<EOF>"
+    EQ          "="
     EXTERNAL    "#external"
-    DEFINED     "#defined"
     FALSE       "#false"
-    FORGET      "#forget"
     GEQ         ">="
     GT          ">"
+    HEAD        "head"
+    HEURISTIC   "#heuristic"
     IF          ":-"
     INCLUDE     "#include"
     INFIMUM     "#inf"
     LBRACE      "{"
     LBRACK      "["
+    LEFT        "left"
     LEQ         "<="
     LPAREN      "("
     LT          "<"
-    MAX         "#max"
     MAXIMIZE    "#maximize"
-    MIN         "#min"
+    MAX         "#max"
     MINIMIZE    "#minimize"
+    MIN         "#min"
     MOD         "\\"
     MUL         "*"
     NEQ         "!="
+    PARSE_DEF   "<define>"
+    PARSE_LP    "<program>"
     POW         "**"
+    PROJECT     "#project"
     QUESTION    "?"
     RBRACE      "}"
     RBRACK      "]"
+    RIGHT       "right"
     RPAREN      ")"
     SEM         ";"
     SHOW        "#show"
-    EDGE        "#edge"
-    PROJECT     "#project"
-    HEURISTIC   "#heuristic"
     SHOWSIG     "#showsig"
     SLASH       "/"
     SUB         "-"
-    SUM         "#sum"
     SUMP        "#sum+"
+    SUM         "#sum"
     SUPREMUM    "#sup"
+    SYNC        "EOF"
+    THEORY      "#theory"
     TRUE        "#true"
-    BLOCK       "#program"
     UBNOT
     UMINUS
+    UNARY       "unary"
     VBAR        "|"
-    VOLATILE    "#volatile"
     WIF         ":~"
     XOR         "^"
-    PARSE_LP    "<program>"
-    PARSE_DEF   "<define>"
-    ANY         "any"
-    UNARY       "unary"
-    BINARY      "binary"
-    LEFT        "left"
-    RIGHT       "right"
-    HEAD        "head"
-    BODY        "body"
-    DIRECTIVE   "directive"
-    THEORY      "#theory"
-    SYNC        "EOF"
 
 
 %token <num>