From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 4 Sep 2003 15:02:03 +0000 (+0000)
Subject: fixed typo in eqT's URI
X-Git-Tag: v0_0_1~52
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4f52daab3f629aaae5cec7ccd8cc720733a0c13e;p=helm.git

fixed typo in eqT's URI
---

diff --git a/helm/ocaml/cic_transformations/content_expressions.ml b/helm/ocaml/cic_transformations/content_expressions.ml
index f1c648e9b..717b4e925 100644
--- a/helm/ocaml/cic_transformations/content_expressions.ml
+++ b/helm/ocaml/cic_transformations/content_expressions.ml
@@ -78,7 +78,7 @@ Hashtbl.add symbol_table "cic:/Coq/Init/Logic_Type/eqT.ind#xpointer(1/1)"
   (fun aid sid args acic2cexpr ->
    Appl 
     (Some aid, (Symbol (Some sid, "eq",
-          None, Some "cic:/Coq/Init/Logic/eqT.ind"))
+          None, Some "cic:/Coq/Init/Logic_Type/eqT.ind"))
      :: List.map acic2cexpr (List.tl args)));;
 
 (* and *)