X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fmatitaprover%2Fmatitaprover.ml;h=c029cfa228317690d81e14b0978ee88191cc381d;hb=a6011d00d7c377056ead2e0974c68a7a3ae069d0;hp=35d6fd79c4ea6468bbc498b8ac175a108992b266;hpb=57e9e88aa1340997956b1e96ce7d470417a21412;p=helm.git

diff --git a/helm/software/components/binaries/matitaprover/matitaprover.ml b/helm/software/components/binaries/matitaprover/matitaprover.ml
index 35d6fd79c..c029cfa22 100644
--- a/helm/software/components/binaries/matitaprover/matitaprover.ml
+++ b/helm/software/components/binaries/matitaprover/matitaprover.ml
@@ -197,9 +197,11 @@ usage: matitaprover [options] problemfile";
         let module M = Main(struct let cmp (a,_) (b,_) = compare a b end) in
         M.main goal hypotheses)
     ;
+(*
       (fun () ->     
         let module M = Main(struct let cmp (a,_) (b,_) = compare b a end) in
         M.main goal hypotheses)
+*)
     ];
   let rec aux () =
     if List.length !childs = 0 then