X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2Fterms.ml;h=f2a3de0209e190e349a0435604ea0d9cc91d55ce;hb=2c2b31c242aa81dc6f3c73e7e2a3ec0789a21edd;hp=bcc3bcf7bd8a05ff4906f35abafcd6491de67eb2;hpb=571d199acd4e6743a48f8f64f28c62d18182d04d;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/terms.ml b/helm/software/components/ng_paramodulation/terms.ml
index bcc3bcf7b..f2a3de020 100644
--- a/helm/software/components/ng_paramodulation/terms.ml
+++ b/helm/software/components/ng_paramodulation/terms.ml
@@ -56,7 +56,7 @@ module OT =
 module M : Map.S with type key = int 
   = Map.Make(OT) 
 
-type 'a bag = 'a unit_clause M.t
+type 'a bag = ('a unit_clause * bool) M.t
 
 module type Blob =
   sig