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

diff --git a/helm/ocaml/mathql_interpreter/meet.ml b/helm/ocaml/mathql_interpreter/meet.ml
index 53a75ccb1..c5921aaf9 100644
--- a/helm/ocaml/mathql_interpreter/meet.ml
+++ b/helm/ocaml/mathql_interpreter/meet.ml
@@ -28,5 +28,7 @@ let rec meet_ex v1 v2 =
   match v1,v2 with
     [],_ 
   | _,[] -> false
-  | s::tl,l -> if List.mem s l then true
-               else meet_ex tl l      
+  | s1::tl1, s2::_ when s1 < s2 -> meet_ex tl1 v2
+  | s1::_, s2::tl2 when s2 < s1 -> false
+  | _, _-> true
+;;