Removing the optimization support in the native language

The current implementation of `maximize` and `minimize` isn't satisfying in the native language. As this feature have never been released and MERCE prefers using the SMT-LIB format, we remove the support of optimization in the native language.
OCamlPro · Nov 2, 2023 · d29f6bd · d29f6bd
1 parent 8ff7f24
commit d29f6bd
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/src/parsers/native_lexer.mll b/src/parsers/native_lexer.mll
@@ -79,8 +79,6 @@
         "match"      , MATCH;
         "with"       , WITH;
         "of"         , OF;
-        "maximize"  , MAXIMIZE;
-        "minimize"  , MINIMIZE;
       ]
     in
     List.iter (fun (s, kw) -> Hashtbl.add tbl s kw) kw_list;

diff --git a/src/parsers/native_parser.mly b/src/parsers/native_parser.mly
@@ -54,7 +54,6 @@
 %token RIGHTPAR RIGHTSQ RIGHTBR
 %token SLASH POW POWDOT
 %token THEN TIMES TRUE TYPE
-%token MAXIMIZE MINIMIZE
 
 /* Precedences */