From 25c909067bf032a5f1019558b5394907509e7f91 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Wed, 9 Dec 2009 15:48:41 +0000 Subject: [PATCH] Wrong reference corrected --- helm/software/components/ng_paramodulation/nCicProof.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2