almost complete superposition right step

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

diff --git a/helm/software/components/ng_paramodulation/index.mli b/helm/software/components/ng_paramodulation/index.mli
index 5581f7cfa7fd7bbcda4f39d56b00f56b4210c503..5d496d9365f58480ac92c15323624cae9d214284 100644 (file)
--- a/helm/software/components/ng_paramodulation/index.mli
+++ b/helm/software/components/ng_paramodulation/index.mli
@@ -29,4 +29,6 @@ module Index (B : Terms.Blob) :
     val index_unit_clause :
           DT.t -> B.t Terms.unit_clause -> DT.t 
 
+    type active_set = B.t Terms.unit_clause list * DT.t
+
   end