From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 13 Sep 2005 13:25:36 +0000 (+0000)
Subject: fixed dummy_floc
X-Git-Tag: V_0_1_2_1~21
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=38fc67d4e3d9e4a0f4f6203a52edc89084e2dcc5;p=helm.git

fixed dummy_floc
---

diff --git a/helm/matita/matitaScript.ml b/helm/matita/matitaScript.ml
index 1bd4b9fd1..97c707e51 100644
--- a/helm/matita/matitaScript.ml
+++ b/helm/matita/matitaScript.ml
@@ -57,7 +57,7 @@ let first_line s =
   (** creates a statement AST for the Goal tactic, e.g. "goal 7" *)
 let goal_ast n =
   let module A = GrafiteAst in
-  let loc = Disambiguate.dummy_floc in
+  let loc = DisambiguateTypes.dummy_floc in
   A.Executable (loc, A.Tactical (loc, A.Tactic (loc, A.Goal (loc, n))))
 
 type guistuff = {