X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fsub.ml;h=5bc3d5b92b18aebdc8ae0cd356a675fffcca83e4;hb=869706b3ab84bed5e463735dab717867b76ea766;hp=b4c65d207140d7c8e91accb3c61204dbc01a2d3a;hpb=c5e1e4d1726bd78464a7d458df3aca047749567b;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/sub.ml b/helm/ocaml/mathql_interpreter/sub.ml
index b4c65d207..5bc3d5b92 100644
--- a/helm/ocaml/mathql_interpreter/sub.ml
+++ b/helm/ocaml/mathql_interpreter/sub.ml
@@ -30,5 +30,5 @@ let rec sub_ex v1 v2 =
   | _,[] -> false
   | s1::tl1, s2::_ when s1 < s2 -> sub_ex tl1 v2
   | s1::_, s2::_ when s2 < s1 -> false
-  | s1::tl1, s2::tl2 -> (tl1,tl2)
+  | s1::tl1, s2::tl2 -> sub_ex tl1 tl2
 ;;