src/HOL/ex/Codegenerator.thy
changeset 28686 5d63184c10c7
parent 28335 25326092cf9a
--- a/src/HOL/ex/Codegenerator.thy	Fri Oct 24 17:48:37 2008 +0200
+++ b/src/HOL/ex/Codegenerator.thy	Fri Oct 24 17:48:39 2008 +0200
@@ -14,7 +14,6 @@
 nonfix upto;
 *}
 
-export_code "RType.*" -- "workaround for cache problem"
 export_code * in SML module_name CodegenTest
   in OCaml module_name CodegenTest file -
   in Haskell file -