--- a/src/Pure/ML/ml_antiquotation.ML Thu Apr 07 12:13:11 2016 +0200
+++ b/src/Pure/ML/ml_antiquotation.ML Thu Apr 07 13:35:08 2016 +0200
@@ -39,7 +39,7 @@
ML_Context.value_decl "position" (ML_Syntax.print_position (#2 (Token.name_of_src src)))) #>
inline (Binding.make ("make_string", @{here}))
- (Args.context >> (ML_Pretty.make_string_fn o ML_Context.struct_name)) #>
+ (Args.context >> (ML_Pretty.make_string_local o ML_Context.struct_name)) #>
value (Binding.make ("binding", @{here}))
(Scan.lift (Parse.position Args.name) >> ML_Syntax.make_binding) #>