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

diff --git a/helm/ocaml/mathql_interpreter/meet.ml b/helm/ocaml/mathql_interpreter/meet.ml
index 2482ea02e..bf0b5d780 100644
--- a/helm/ocaml/mathql_interpreter/meet.ml
+++ b/helm/ocaml/mathql_interpreter/meet.ml
@@ -28,7 +28,7 @@ let rec meet_ex v1 v2 =
   match v1,v2 with
     [],_ 
   | _,[] -> false
-  | s1::tl1, s2::_ when s1 < s2 -> sub_ex tl1 v2
-  | s1::_, s2::tl2 when s2 < s1 -> false
-  | s1::_, s2::_ when s1 = s2 -> true
+  | s1::tl1, s2::_ when s1 < s2 -> meet_ex tl1 v2
+  | s1::_, s2::tl2 when s2 < s1 -> meet_ex v1 tl2
+  | _, _ -> true
 ;;