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