renamed modules so that they are more consistent with other cic modules

[helm.git] / helm / ocaml / cic_disambiguation / logic_notation.ml

diff --git a/helm/ocaml/cic_disambiguation/logic_notation.ml b/helm/ocaml/cic_disambiguation/logic_notation.ml
index 2f404be83a956eccdf3c31bafff32f3f831a60a9..011462f8158fcd2f68f56b17a8d93b6cbadfc7e0 100644 (file)
--- a/helm/ocaml/cic_disambiguation/logic_notation.ml
+++ b/helm/ocaml/cic_disambiguation/logic_notation.ml
@@ -23,8 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
-open Ast
-open Parser
+open CicTextualParser2Ast
+open CicTextualParser2
 
 EXTEND
   term: LEVEL "add"