From 2e55fd0b276071a142e523322a777fef8c9e5a3f Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Fri, 8 Jan 2010 08:23:31 +0000 Subject: [PATCH] removed debugging info --- helm/software/components/ng_paramodulation/nCicParamod.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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 -- 2.39.2