From: Enrico Tassi Date: Thu, 9 Jul 2009 10:03:17 +0000 (+0000) Subject: 1 process for now X-Git-Tag: make_still_working~3717 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=a6011d00d7c377056ead2e0974c68a7a3ae069d0 1 process for now --- 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