Generalized intitialization for EqP

diff --git a/helm/software/components/ng_paramodulation/nCicBlob.mli b/helm/software/components/ng_paramodulation/nCicBlob.mli
index 58f97a3f22dea41c5b32cbc8bdd5ccec0199fa9f..a8b6a7b7e045bdef55836df7753e361fa6cad802 100644 (file)
--- a/helm/software/components/ng_paramodulation/nCicBlob.mli
+++ b/helm/software/components/ng_paramodulation/nCicBlob.mli
@@ -12,6 +12,8 @@
 (* $Id: terms.mli 9822 2009-06-03 15:37:06Z tassi $ *)
 
 val set_reference_of_oxuri: (UriManager.uri -> NReference.reference) -> unit
+val set_eqP: NCic.term -> unit
+val set_default_eqP: unit -> unit
 
 module type NCicContext = 
   sig