X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_paramodulation%2FnCicParamod.mli;h=93d322dd1007786cfaf394b2fbfd25004eeec145;hb=578ba04e1a0812f538729fbc02ea38d2cfd0ed3e;hp=b46d0ade0d0b650764322e8d73d2023f1e5a65de;hpb=97e59118f8cc0d98c51c0d41e8e7704344666cdb;p=helm.git

diff --git a/matitaB/components/ng_paramodulation/nCicParamod.mli b/matitaB/components/ng_paramodulation/nCicParamod.mli
index b46d0ade0..93d322dd1 100644
--- 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 ->