src/Tools/Code_Generator.thy
changeset 54890 cb892d835803
parent 52138 e21426f244aa
child 55372 3662c44d018c
--- a/src/Tools/Code_Generator.thy	Wed Jan 01 01:05:46 2014 +0100
+++ b/src/Tools/Code_Generator.thy	Wed Jan 01 01:05:48 2014 +0100
@@ -10,7 +10,7 @@
   "value" "print_codeproc" "code_thms" "code_deps" :: diag and
   "export_code" "code_identifier" "code_printing" "code_class" "code_instance" "code_type"
     "code_const" "code_reserved" "code_include" "code_modulename"
-    "code_abort" "code_monad" "code_reflect" :: thy_decl and
+    "code_monad" "code_reflect" :: thy_decl and
   "datatypes" "functions" "module_name" "file" "checking"
   "constant" "type_constructor" "type_class" "class_relation" "class_instance" "code_module"
 begin