X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2FnCicProof.ml;h=1e50999e9e14243fd6dc976f7c4eb0372c2ccaf2;hb=65e1aa022da79a3a880f5c2d5d0d512b80e50635;hp=35c3c02b13b2e84202398b7fb1e7f94d3ce7b3c3;hpb=d268de514258947484a22a106c220b102c611cc3;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/nCicProof.ml b/helm/software/components/ng_paramodulation/nCicProof.ml
index 35c3c02b1..1e50999e9 100644
--- a/helm/software/components/ng_paramodulation/nCicProof.ml
+++ b/helm/software/components/ng_paramodulation/nCicProof.ml
@@ -113,7 +113,7 @@
        t vl  
     in
     let get_literal id =
-      let _, lit, vl, proof = Terms.M.find id bag in
+      let (_, lit, vl, proof),_ = Terms.M.find id bag in
       let lit =match lit with 
           | Terms.Predicate t -> assert false 
           | Terms.Equation (l,r,ty,_) ->