X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2Findex.ml;h=3c203d3a7131e7ce1d2411f950975a29c19d9753;hb=016f069da6221053873b4d505716ef1bd80f08b6;hp=6c26e7b86ab82cfeab8996b743d076bd614560f3;hpb=637114791874df9ebc4e0f0936513c71886a913f;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/index.ml b/helm/software/components/ng_paramodulation/index.ml
index 6c26e7b86..3c203d3a7 100644
--- a/helm/software/components/ng_paramodulation/index.ml
+++ b/helm/software/components/ng_paramodulation/index.ml
@@ -93,4 +93,6 @@ module Index(B : Terms.Blob) = struct
           DT.index t p (Terms.Nodir, c)
   ;;
 
+  type active_set = B.t Terms.unit_clause list * DT.t
+
 end