X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fmeet.ml;h=bf0b5d780987a9aec30e5aff5742066fda7ed8ea;hb=6cd9c31edf69f619789a9802e840fbb61f4b6b40;hp=c5921aaf92cf60999f2d23fb054241524b7a0ce9;hpb=55ec3b1290f0de467c51d163fef22fd68bb0823e;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/meet.ml b/helm/ocaml/mathql_interpreter/meet.ml
index c5921aaf9..bf0b5d780 100644
--- a/helm/ocaml/mathql_interpreter/meet.ml
+++ b/helm/ocaml/mathql_interpreter/meet.ml
@@ -29,6 +29,6 @@ let rec meet_ex v1 v2 =
     [],_ 
   | _,[] -> false
   | s1::tl1, s2::_ when s1 < s2 -> meet_ex tl1 v2
-  | s1::_, s2::tl2 when s2 < s1 -> false
-  | _, _-> true
+  | s1::_, s2::tl2 when s2 < s1 -> meet_ex v1 tl2
+  | _, _ -> true
 ;;