From 8ab7608b1f6e6c4babea0f9d0a771e350d481229 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 26 Jul 2005 14:59:11 +0000 Subject: [PATCH] typo s/\\OF/\\of/ --- helm/ocaml/cic_notation/cicNotationParser.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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))) -- 2.39.2