--- a/src/Pure/Isar/code_unit.ML Thu Aug 28 22:08:11 2008 +0200
+++ b/src/Pure/Isar/code_unit.ML Thu Aug 28 22:09:20 2008 +0200
@@ -51,7 +51,7 @@
val case_cert: thm -> string * (int * string list)
end;
-structure CodeUnit: CODE_UNIT =
+structure Code_Unit: CODE_UNIT =
struct