From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 24 Jan 2004 17:00:18 +0000 (+0000)
Subject: reference moved EnvironmentP3 for new parser
X-Git-Tag: V_0_2_3~144
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5bba50725c2dabed0be54394c83976e61171f278;p=helm.git

reference moved EnvironmentP3 for new parser
---

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