From a6011d00d7c377056ead2e0974c68a7a3ae069d0 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 9 Jul 2009 10:03:17 +0000 Subject: [PATCH] 1 process for now --- helm/software/components/binaries/matitaprover/matitaprover.ml | 2 ++ 1 file changed, 2 insertions(+) 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 -- 2.39.2