--- a/src/Tools/Code/code_haskell.ML Mon Apr 06 16:30:44 2015 +0200
+++ b/src/Tools/Code/code_haskell.ML Mon Apr 06 17:06:48 2015 +0200
@@ -516,7 +516,7 @@
#> fold (fold (Code_Target.add_reserved target) o snd) prelude_import_unqualified_constr);
val _ =
- Outer_Syntax.command @{command_spec "code_monad"} "define code syntax for monads"
+ Outer_Syntax.command @{command_keyword code_monad} "define code syntax for monads"
(Parse.term -- Parse.name >> (fn (raw_bind, target) =>
Toplevel.theory (add_monad target raw_bind)));