--- a/src/Tools/Code/code_printer.ML Fri Nov 19 23:48:07 2010 +0100
+++ b/src/Tools/Code/code_printer.ML Sat Nov 20 00:53:26 2010 +0100
@@ -173,8 +173,8 @@
of SOME name' => name'
| NONE => error ("Invalid name in context: " ^ quote name);
-val first_upper = implode o nth_map 0 Symbol.to_ascii_upper o explode;
-val first_lower = implode o nth_map 0 Symbol.to_ascii_lower o explode;
+val first_upper = implode o nth_map 0 Symbol.to_ascii_upper o raw_explode;
+val first_lower = implode o nth_map 0 Symbol.to_ascii_lower o raw_explode;
fun aux_params vars lhss =
let