From: Stefano Zacchiroli 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