# HG changeset patch
# User haftmann
# Date 1224863319 -7200
# Node ID 5d63184c10c7c259c277dfe620719830b6293976
# Parent  275122631271d4c185bd094b0c595341dd0f2282
tuned

diff -r 275122631271 -r 5d63184c10c7 src/HOL/ex/Codegenerator.thy
--- 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 -