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

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

diff --git a/helm/ocaml/cic_disambiguation/arit_notation.ml b/helm/ocaml/cic_disambiguation/arit_notation.ml
index b4aaf339877cb5dcaf273ec04dc4fbc4e297e9d4..f0f8d52bc32c7fc69f0c97ab3d43232dd9ab038a 100644 (file)
--- a/helm/ocaml/cic_disambiguation/arit_notation.ml
+++ b/helm/ocaml/cic_disambiguation/arit_notation.ml
@@ -23,8 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
-open Ast
-open Parser
+open CicTextualParser2Ast
+open CicTextualParser2
 
 (*
 let i = ref max_int