From 5bba50725c2dabed0be54394c83976e61171f278 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Sat, 24 Jan 2004 17:00:18 +0000 Subject: [PATCH] reference moved EnvironmentP3 for new parser --- helm/gTopLevel/disambiguatingParser.ml.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2