From 38323dbc4499fb4fb4f17714944e6b6bda06bb9d Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 20 Nov 2002 11:02:32 +0000 Subject: [PATCH] mqint patched (compilation warning removed) --- helm/ocaml/mathql_interpreter/mqint.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml index 00f6b1c27..415ee1340 100644 --- a/helm/ocaml/mathql_interpreter/mqint.ml +++ b/helm/ocaml/mathql_interpreter/mqint.ml @@ -156,7 +156,6 @@ let rec exec_set_exp c = function flush stdout); res | MathQL.Diff (sexp1, sexp2) -> diff_ex (exec_set_exp c sexp1) (exec_set_exp c sexp2) - | _ -> assert false (* valuta una MathQL.boole_exp e ritorna un boole *) -- 2.39.2