From 38fc67d4e3d9e4a0f4f6203a52edc89084e2dcc5 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 13 Sep 2005 13:25:36 +0000
Subject: [PATCH] fixed dummy_floc

---
 helm/matita/matitaScript.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 = {
-- 
2.39.2