--- a/src/HOL/Library/Mapping.thy Fri Jul 02 16:50:53 2010 +0200
+++ b/src/HOL/Library/Mapping.thy Fri Jul 02 17:27:44 2010 +0200
@@ -278,6 +278,8 @@
subsection {* Code generator setup *}
+code_datatype empty update
+
instantiation mapping :: (type, type) eq
begin