fixed dummy_floc

diff --git a/helm/matita/matitaScript.ml b/helm/matita/matitaScript.ml
index 1bd4b9fd1226e35b503e8891959fc5aeb279c9f3..97c707e51ebedeff5c158432cb4cbe04b7019607 100644 (file)
--- 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 = {