src/Pure/ML/ml_antiquote.ML

--- a/src/Pure/ML/ml_antiquote.ML	Sun Jan 09 19:58:08 2011 +0100
+++ b/src/Pure/ML/ml_antiquote.ML	Sun Jan 09 21:33:41 2011 +0100
@@ -48,7 +48,7 @@
     let
       val (a, background') = variant (translate_string (fn "." => "_" | c => c) name) background;
       val env = kind ^ " " ^ a ^ " = " ^ s ^ ";\n";
-      val body = " Isabelle." ^ a ^ " ";
+      val body = "Isabelle." ^ a;
     in (K (env, body), background') end));
 
 val value = declaration "val";