From 70b2f6a3f29be2e1e898fe7d63bd985a5b31ae35 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 9 Mar 2004 09:52:33 +0000 Subject: [PATCH] Meta no longer raise a failure. Instead they return an empty set of constraints. This is just a temporary patch. To be understood. --- helm/ocaml/mathql_generator/cGSearchPattern.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/mathql_generator/cGSearchPattern.ml b/helm/ocaml/mathql_generator/cGSearchPattern.ml index 7640a6b76..559bee6d9 100644 --- a/helm/ocaml/mathql_generator/cGSearchPattern.ml +++ b/helm/ocaml/mathql_generator/cGSearchPattern.ml @@ -100,7 +100,7 @@ let get_constraints term = in [],[],[!!kind,s'] | _ -> [],[],[]) - | C.Meta _ + | C.Meta _ -> [],[],[] (* ???? To be understood *) | C.Implicit _ -> assert false | C.Cast (te,_) -> (* type ignored *) -- 2.39.2