From: Ferruccio Guidi Date: Wed, 20 Nov 2002 11:02:32 +0000 (+0000) Subject: mqint patched (compilation warning removed) X-Git-Tag: V_0_0_5~29 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=38323dbc4499fb4fb4f17714944e6b6bda06bb9d;p=helm.git mqint patched (compilation warning removed) --- 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 *)