1) removed many debug prints

[helm.git] / matitaB / components / ng_paramodulation / nCicParamod.mli

diff --git a/matitaB/components/ng_paramodulation/nCicParamod.mli b/matitaB/components/ng_paramodulation/nCicParamod.mli
index b46d0ade0d0b650764322e8d73d2023f1e5a65de..93d322dd1007786cfaf394b2fbfd25004eeec145 100644 (file)
--- a/matitaB/components/ng_paramodulation/nCicParamod.mli
+++ b/matitaB/components/ng_paramodulation/nCicParamod.mli
@@ -19,6 +19,7 @@ val nparamod :
 
 type state 
 val empty_state: state
+val size_of_state: state -> int * int
 val forward_infer_step: 
   #NCicCoercion.status ->
   NCic.metasenv ->