From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 8 Jan 2010 08:23:31 +0000 (+0000)
Subject: removed debugging info
X-Git-Tag: make_still_working~3137
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2e55fd0b276071a142e523322a777fef8c9e5a3f;p=helm.git

removed debugging info
---

diff --git a/helm/software/components/ng_paramodulation/nCicParamod.ml b/helm/software/components/ng_paramodulation/nCicParamod.ml
index c680e8417..59018a517 100644
--- a/helm/software/components/ng_paramodulation/nCicParamod.ml
+++ b/helm/software/components/ng_paramodulation/nCicParamod.ml
@@ -77,7 +77,7 @@ let nparamod rdb metasenv subst context t table =
     HExtlib.list_mapi_acc (fun x _ a -> P.mk_goal a x) (bag,maxvar) [t]
   in
   let (bag,maxvar), passives = 
-    HExtlib.list_mapi_acc (fun x _ a -> prerr_endline "there"; P.mk_passive a x) (bag,maxvar) table
+    HExtlib.list_mapi_acc (fun x _ a -> P.mk_passive a x) (bag,maxvar) table
   in
   match 
     P.paramod ~useage:true ~max_steps:max_int ~timeout:(Unix.gettimeofday () +. 300.0) 
@@ -102,7 +102,6 @@ let empty_state = P.empty_state
 
 let forward_infer_step s t ty =
   let bag = P.bag_of_state s in
-  prerr_endline "here"; 
   let bag,clause = P.mk_passive bag (t,ty) in
     if Terms.is_eq_clause clause then
       P.forward_infer_step (P.replace_bag s bag) clause 0