From 2e6021e158975e808f8cbf653e15a9462409a70a Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 23 Feb 2004 15:56:10 +0000 Subject: [PATCH] Rinv typo fix --- 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 8b8d0361a..07373374f 100644 --- a/helm/ocaml/cic_transformations/content_expressions.ml +++ b/helm/ocaml/cic_transformations/content_expressions.ml @@ -126,7 +126,7 @@ Hashtbl.add symbol_table "cic:/Coq/Reals/Rdefinitions/Ropp.con" (fun aid sid args acic2cexpr -> Appl (Some aid, (Symbol (Some sid, "opp", - None, Some "cic:/Coq/Reals/Rdefinitions/Rinv.con")) + None, Some "cic:/Coq/Reals/Rdefinitions/Ropp.con")) :: List.map acic2cexpr args));; (* exists *) -- 2.39.2