From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 23 Feb 2004 15:56:10 +0000 (+0000)
Subject: Rinv typo fix
X-Git-Tag: v0_0_4~105
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2e6021e158975e808f8cbf653e15a9462409a70a;p=helm.git

Rinv typo fix
---

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 *)