reference moved EnvironmentP3 for new parser

diff --git a/helm/gTopLevel/disambiguatingParser.ml.in b/helm/gTopLevel/disambiguatingParser.ml.in
index 25953b50279925c9a28bf18289c6a7ab7aa26917..6ba3b26ee8bf620afa36bbbb151a84ebdfa290fe 100644 (file)
--- a/helm/gTopLevel/disambiguatingParser.ml.in
+++ b/helm/gTopLevel/disambiguatingParser.ml.in
@@ -27,7 +27,7 @@ exception NoWellTypedInterpretation
 
 module AndreaAndZackDisambiguatingParser =
  struct
-  module EnvironmentP3 = DisambiguateTypes.EnvironmentP3
+  module EnvironmentP3 = CicTextualParser2.EnvironmentP3
 
   module Make (C : DisambiguateTypes.Callbacks) =
    struct