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