X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2FfoUtils.ml;h=4c99f5b9cbe3b546c4896dd54beb71880c9b13d3;hb=65e1aa022da79a3a880f5c2d5d0d512b80e50635;hp=26b7f6fa4b2e1abec80070352d5dbb502d1f99b8;hpb=6f35dd77922431b667f7eb4669ab3fbb6092c343;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/foUtils.ml b/helm/software/components/ng_paramodulation/foUtils.ml
index 26b7f6fa4..4c99f5b9c 100644
--- a/helm/software/components/ng_paramodulation/foUtils.ml
+++ b/helm/software/components/ng_paramodulation/foUtils.ml
@@ -130,7 +130,7 @@ module Utils (B : Terms.Blob) = struct
   let add_to_bag bag  (_,lit,vl,proof) =
     let id = mk_id () in
     let clause = (id, lit, vl, proof) in
-    let bag = Terms.M.add id clause bag in
+    let bag = Terms.M.add id (clause,false) bag in
     bag, clause 
    ;;