diff -r 680b04dbd51c -r 461130ccfef4 src/Pure/Tools/codegen_names.ML
--- a/src/Pure/Tools/codegen_names.ML	Fri Jan 26 13:59:03 2007 +0100
+++ b/src/Pure/Tools/codegen_names.ML	Fri Jan 26 13:59:04 2007 +0100
@@ -340,7 +340,7 @@
     val nsp = NameSpace.base name;
   in case AList.lookup (op =) nsp_mapping nsp
    of SOME msg => msg ^ " " ^ quote nam
-    | NONE => error ("illegal shallow name space: " ^ quote nsp)
+    | NONE => error ("Illegal shallow name space: " ^ quote nsp)
   end;
 
 
@@ -378,6 +378,6 @@
 
 fun lookup_var (namemap, _) name = case Symtab.lookup namemap name
  of SOME name' => name'
-  | NONE => error ("invalid name in context: " ^ quote name);
+  | NONE => error ("Invalid name in context: " ^ quote name);
 
 end;