changeset 41376 | 08240feb69c7 |
parent 40241 | 56fad09655a5 |
child 41486 | 82c1e348bc18 |
--- a/src/Pure/ML/ml_antiquote.ML Tue Dec 21 19:35:36 2010 +0100 +++ b/src/Pure/ML/ml_antiquote.ML Tue Dec 21 21:05:50 2010 +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";