changeset 27868 | a28b3cd0077b |
parent 27845 | 141772c866c9 |
child 28054 | 2b84d34c5d02 |
--- a/src/Tools/code/code_target.ML Thu Aug 14 16:52:52 2008 +0200 +++ b/src/Tools/code/code_target.ML Thu Aug 14 16:52:54 2008 +0200 @@ -2321,7 +2321,7 @@ | NONE => error ("Bad directive " ^ quote cmd))) handle TOPLEVEL_ERROR => OS.Process.exit OS.Process.failure; -val _ = ML_Context.add_antiq "code" (Args.term >> ml_code_antiq); +val _ = ML_Context.add_antiq "code" (fn _ => Args.term >> ml_code_antiq); (* serializer setup, including serializer defaults *)