From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 26 Jul 2005 14:59:11 +0000 (+0000)
Subject: typo s/\\OF/\\of/
X-Git-Tag: V_0_7_2~61
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8ab7608b1f6e6c4babea0f9d0a771e350d481229;p=helm.git

typo s/\\OF/\\of/
---

diff --git a/helm/ocaml/cic_notation/cicNotationParser.ml b/helm/ocaml/cic_notation/cicNotationParser.ml
index 85b894511..7c52560be 100644
--- a/helm/ocaml/cic_notation/cicNotationParser.ml
+++ b/helm/ocaml/cic_notation/cicNotationParser.ml
@@ -340,7 +340,7 @@ EXTEND
       | SYMBOL "\\frac"; p1 = SELF; p2 = SELF ->
           return_term loc (Layout (Frac (p1, p2)))
       | SYMBOL "\\sqrt"; p = SELF -> return_term loc (Layout (Sqrt p))
-      | SYMBOL "\\root"; index = SELF; SYMBOL "\\OF"; arg = SELF ->
+      | SYMBOL "\\root"; index = SELF; SYMBOL "\\of"; arg = SELF ->
           return_term loc (Layout (Root (arg, index)))
       | "hbox"; LPAREN; p = l1_pattern; RPAREN ->
           return_term loc (Layout (Box ((H, false, false), p)))