--- a/src/Pure/Isar/runtime.ML Tue Apr 05 13:07:40 2011 +0200
+++ b/src/Pure/Isar/runtime.ML Tue Apr 05 14:25:18 2011 +0200
@@ -72,9 +72,9 @@
| Fail msg => [raised exn "Fail" [msg]]
| THEORY (msg, thys) =>
[raised exn "THEORY" (msg :: (if detailed then map Context.str_of_thy thys else []))]
- | Syntax.AST (msg, asts) =>
+ | Ast.AST (msg, asts) =>
[raised exn "AST" (msg ::
- (if detailed then map (Pretty.string_of o Syntax.pretty_ast) asts else []))]
+ (if detailed then map (Pretty.string_of o Ast.pretty_ast) asts else []))]
| TYPE (msg, Ts, ts) =>
[raised exn "TYPE" (msg ::
(if detailed then