snaphost: supright almost done

[helm.git] / helm / software / components / ng_paramodulation / paramod.mli

diff --git a/helm/software/components/ng_paramodulation/paramod.mli b/helm/software/components/ng_paramodulation/paramod.mli
index db112450d8b0503079a63167e10839e12c5c4236..78bea9934c540d3936d4a73ae4a09ac03dfc5658 100644 (file)
--- a/helm/software/components/ng_paramodulation/paramod.mli
+++ b/helm/software/components/ng_paramodulation/paramod.mli
@@ -1 +1,4 @@
-val nparamod : NCic.metasenv -> NCic.substitution -> NCic.context -> NCic.term -> unit
+val nparamod : 
+  NCic.metasenv -> NCic.substitution -> NCic.context -> 
+    NCic.term -> NCic.term list ->
+     unit