src/Pure/ML/ml_env.ML

--- a/src/Pure/ML/ml_env.ML	Mon Dec 12 17:40:06 2016 +0100
+++ b/src/Pure/ML/ml_env.ML	Tue Dec 13 11:51:42 2016 +0100
@@ -98,7 +98,7 @@
 (* SML environment for Isabelle/ML *)
 
 val SML_environment =
-  Config.bool (Config.declare ("SML_environment", @{here}) (fn _ => Config.Bool false));
+  Config.bool (Config.declare ("SML_environment", \<^here>) (fn _ => Config.Bool false));
 
 fun sml_env SML =
   SML orelse