X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Focaml%2Fmathql_interpreter%2Fdiff.ml;h=5cba32345fcaa7702e9e75e8afd0a18701d605c4;hb=b1fb6b8e1767d775bc452303629e95941d142bea;hp=b4e09196ee5c42e097cbc2c250f2db317d0f491b;hpb=ba824e867afc3eaf081ed1a1d6526d421242a6a0;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/diff.ml b/helm/ocaml/mathql_interpreter/diff.ml
index b4e09196e..5cba32345 100644
--- a/helm/ocaml/mathql_interpreter/diff.ml
+++ b/helm/ocaml/mathql_interpreter/diff.ml
@@ -81,7 +81,7 @@ let rec diff_ex rs1 rs2 =
 
 
 
-
+(*
 let diff_ex l1 l2 =
  let before = Sys.time () in
  let res = diff_ex l1 l2 in
@@ -95,4 +95,4 @@ let diff_ex l1 l2 =
   flush stdout ;
   res
 ;;
-
+*)