Debugging better Sub and Meet.

[helm.git] / helm / ocaml / mathql_interpreter / mqint.ml

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index a9d18940b426ad58118546cfea0cdc25eb3acd71..f3888c99673a4f500ffc9b32e9930457cc0c76ab 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -141,7 +141,6 @@ and exec_boole_exp c = function
        in if res then (print_endline"TRUE"; flush stdout)
           else (print_endline"FALSE"; flush stdout);
           res
-   | _ -> assert false    
 
 (* valuta una MathQL.val_exp e ritorna un MathQL.value *)