X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fsub.ml;h=a8ca9e62915e6828575d6a4a28e1bcb51f1bdea4;hb=b1fb6b8e1767d775bc452303629e95941d142bea;hp=e59bf049d1e25fd6c05e63495f8dac59fd2b1dcb;hpb=ba824e867afc3eaf081ed1a1d6526d421242a6a0;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/sub.ml b/helm/ocaml/mathql_interpreter/sub.ml
index e59bf049d..a8ca9e629 100644
--- a/helm/ocaml/mathql_interpreter/sub.ml
+++ b/helm/ocaml/mathql_interpreter/sub.ml
@@ -32,3 +32,12 @@ let rec sub_ex v1 v2 =
   | s1::_, s2::tl2 when s2 < s1 -> sub_ex v1 tl2
   | s1::tl1, s2::tl2 -> sub_ex tl1 tl2
 ;;
+
+(* DEBUGGING ONLY
+let sub_ex v1 v2 =
+ let b = sub_ex v1 v2 in
+ prerr_endline
+  ("SUB({" ^ String.concat "," v1 ^ "},{" ^ String.concat "," v2 ^"}) = " ^
+   if b then "tt" else "ff") ;
+ b
+;; *)