X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2Fparamod.mli;h=367d7939448f269ebedd755cb688cbc887155c9c;hb=72e835f5e6848c09faf6343fb7e276c88bfc1f2e;hp=1142b03c7ea47cc451abd48bcdfecc5f5e4a4266;hpb=550489243bb7bbd995ce3484cbb3a3711371b949;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/paramod.mli b/helm/software/components/ng_paramodulation/paramod.mli
index 1142b03c7..367d79394 100644
--- a/helm/software/components/ng_paramodulation/paramod.mli
+++ b/helm/software/components/ng_paramodulation/paramod.mli
@@ -46,6 +46,8 @@ module type Paramod =
       bag -> 
       g_passives:t Terms.unit_clause list -> 
       passives:t Terms.unit_clause list -> szsontology
+    val demod :
+      state -> input* input -> szsontology
     val fast_eq_check :
       state -> input* input -> szsontology
     val nparamod :