From b69275324ae2d436f2f4dbb70e0ddcbdf3886636 Mon Sep 17 00:00:00 2001
From: denes <??>
Date: Thu, 2 Jul 2009 14:29:01 +0000
Subject: [PATCH] Corrected type for bag

---
 helm/software/components/binaries/matitaprover/matitaprover.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/helm/software/components/binaries/matitaprover/matitaprover.ml b/helm/software/components/binaries/matitaprover/matitaprover.ml
index 776d0adbb..35d6fd79c 100644
--- a/helm/software/components/binaries/matitaprover/matitaprover.ml
+++ b/helm/software/components/binaries/matitaprover/matitaprover.ml
@@ -85,8 +85,9 @@ let success_msg bag l (pp : ?margin:int -> leaf Terms.unit_clause -> string) =
     Filename.basename !problem_file);
   flush stdout;
   List.iter (fun x ->
+    let (cl,_,_) = Terms.get_from_bag x bag in
     print_endline (pp ~margin:max_int 
-      (fst(Terms.get_from_bag x bag)))) l;
+      cl)) l;
   print_endline ("% SZS output end CNFRefutation for " ^ 
     Filename.basename !problem_file)
 ;;
-- 
2.39.2