src/Pure/Isar/isar_syn.ML
changeset 25625 35e2aa8b8b03
parent 25588 514ae4e4d164
child 25794 11bec58fc289
     1.1 --- a/src/Pure/Isar/isar_syn.ML	Fri Dec 14 17:56:08 2007 +0100
     1.2 +++ b/src/Pure/Isar/isar_syn.ML	Fri Dec 14 17:57:39 2007 +0100
     1.3 @@ -754,7 +754,7 @@
     1.4        (case OuterSyntax.parse pos str of
     1.5          [transition] => Scan.succeed (K transition)
     1.6        | _ => Scan.fail_with (K "exactly one command expected"))
     1.7 -      handle ERROR msg => Scan.fail_with (K ("malformed command\n" ^ msg))));
     1.8 +      handle ERROR msg => Scan.fail_with (K msg)));
     1.9  
    1.10  
    1.11