X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FdisambiguatingParser.ml.in;h=6ba3b26ee8bf620afa36bbbb151a84ebdfa290fe;hb=684b3fd81dd1bdeef05ff5a01ad07f73e980b494;hp=25953b50279925c9a28bf18289c6a7ab7aa26917;hpb=1bd503d31db62ec1f4b1dfb416c11615f3af7248;p=helm.git

diff --git a/helm/gTopLevel/disambiguatingParser.ml.in b/helm/gTopLevel/disambiguatingParser.ml.in
index 25953b502..6ba3b26ee 100644
--- 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