src/Tools/code/code_target.ML

     ((filter OuterLex.is_proper o OuterSyntax.scan Position.none) cmd)
    of SOME f => (writeln "Now generating code..."; f (theory thyname))
     | 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 *)
 
 val setup =