...

[helm.git] / helm / software / components / ng_paramodulation / nCicParamod.ml

diff --git a/helm/software/components/ng_paramodulation/nCicParamod.ml b/helm/software/components/ng_paramodulation/nCicParamod.ml
index b3ab4d5047194c236b362460439cfbc79e21ad41..5b3e6148b99d4519ef0446941a35a10882a90f7a 100644 (file)
--- a/helm/software/components/ng_paramodulation/nCicParamod.ml
+++ b/helm/software/components/ng_paramodulation/nCicParamod.ml
@@ -107,11 +107,13 @@ let forward_infer_step s t ty =
   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
-    else (prerr_endline "not eq"; s)
+    else (debug (lazy "not eq"); s)
 ;;
 
 let index_obj s uri =
   let obj = NCicEnvironment.get_checked_obj uri in
+  debug (lazy ("indexing : " ^ (NUri.string_of_uri uri)));
+  debug (lazy ("no : " ^ (string_of_int (fst (Obj.magic uri)))));
   match obj with
     | (_,d,[],[],NCic.Constant(_,_,Some(_),ty,_)) ->
         let nref = NReference.reference_of_spec uri (NReference.Def d) in