From 73ceb136822a7d581c73bf3351d424302883af5b Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 22 Mar 2004 17:48:49 +0000 Subject: [PATCH] cosmetic alignment change --- helm/ocaml/cic_disambiguation/cicTextualParser2.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_disambiguation/cicTextualParser2.ml b/helm/ocaml/cic_disambiguation/cicTextualParser2.ml index 2b6d6c0c9..76f62b417 100644 --- a/helm/ocaml/cic_disambiguation/cicTextualParser2.ml +++ b/helm/ocaml/cic_disambiguation/cicTextualParser2.ml @@ -182,7 +182,7 @@ EXTEND ] | "add" LEFTA [ (* nothing here by default *) ] | "mult" LEFTA [ (* nothing here by default *) ] - | "power" LEFTA [ (* nothing here by default *) ] + | "power" LEFTA [ (* nothing here by default *) ] | "inv" NONA [ (* nothing here by default *) ] | "simple" NONA [ sort = sort -> CicAst.Sort sort -- 2.39.2