From 4f52daab3f629aaae5cec7ccd8cc720733a0c13e Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 4 Sep 2003 15:02:03 +0000 Subject: [PATCH] fixed typo in eqT's URI --- helm/ocaml/cic_transformations/content_expressions.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 *) -- 2.39.2