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

[helm.git] / helm / gTopLevel / disambiguatingParser.ml

diff --git a/helm/gTopLevel/disambiguatingParser.ml b/helm/gTopLevel/disambiguatingParser.ml
index 8ce12c04539c8d7fc9a05454643c6039f0cea135..580e09bb251bb71039b165c937d3c6dfaf975121 100644 (file)
--- a/helm/gTopLevel/disambiguatingParser.ml
+++ b/helm/gTopLevel/disambiguatingParser.ml
@@ -25,13 +25,13 @@
 
 exception NoWellTypedInterpretation
 
-module EnvironmentP3 = Disambiguate_types.EnvironmentP3
+module EnvironmentP3 = DisambiguateTypes.EnvironmentP3
 
-module Make (C : Disambiguate_types.Callbacks) =
+module Make (C : DisambiguateTypes.Callbacks) =
  struct
   let disambiguate_term mqi_handle context metasenv term_as_string environment =
    let module Disambiguate' = Disambiguate.Make (C) in
-    let term = Parser.parse_term (Stream.of_string term_as_string) in
+    let term = CicTextualParser2.parse_term (Stream.of_string term_as_string) in
      Disambiguate'.disambiguate_term
       mqi_handle context metasenv term environment
  end