From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Wed, 9 Dec 2009 15:48:41 +0000 (+0000)
Subject: Wrong reference corrected
X-Git-Tag: make_still_working~3178
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=25c909067bf032a5f1019558b5394907509e7f91;p=helm.git

Wrong reference corrected
---

diff --git a/helm/software/components/ng_paramodulation/nCicProof.ml b/helm/software/components/ng_paramodulation/nCicProof.ml
index 28c6f9e03..59d7e95ff 100644
--- a/helm/software/components/ng_paramodulation/nCicProof.ml
+++ b/helm/software/components/ng_paramodulation/nCicProof.ml
@@ -29,7 +29,7 @@ let default_sig = function
 	NCic.Const ref
   | EqInd_r -> 
       let uri = NUri.uri_of_string "cic:/matita/ng/Plogic/equality/rewrite_r.con" in
-      let ref = NReference.reference_of_spec uri (NReference.Def(2)) in
+      let ref = NReference.reference_of_spec uri (NReference.Def(3)) in
 	NCic.Const ref
   | Refl ->
       let uri = NUri.uri_of_string "cic:/matita/ng/Plogic/equality/peq.ind" in