1.1 --- a/src/Pure/Isar/outer_syntax.ML	Mon May 12 12:01:02 2014 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.ML	Mon May 12 12:31:33 2014 +0200
     1.3 @@ -168,7 +168,7 @@
     1.4            val _ = warning (redefining ());
     1.5            val _ =
     1.6              if ! batch_mode then
     1.7 -              Output.physical_stderr ("### Legacy feature! " ^ redefining () ^ "\n")
     1.8 +              Output.physical_stderr ("### Legacy feature!! " ^ redefining () ^ "\n")
     1.9              else ();
    1.10          in () end;
    1.11        Symtab.update (name, cmd) commands)))