tuned
authorhaftmann
Fri Oct 24 17:48:39 2008 +0200 (2008-10-24)
changeset 286865d63184c10c7
parent 28685 275122631271
child 28687 150a8a1eae1a
tuned
src/HOL/ex/Codegenerator.thy
     1.1 --- a/src/HOL/ex/Codegenerator.thy	Fri Oct 24 17:48:37 2008 +0200
     1.2 +++ b/src/HOL/ex/Codegenerator.thy	Fri Oct 24 17:48:39 2008 +0200
     1.3 @@ -14,7 +14,6 @@
     1.4  nonfix upto;
     1.5  *}
     1.6  
     1.7 -export_code "RType.*" -- "workaround for cache problem"
     1.8  export_code * in SML module_name CodegenTest
     1.9    in OCaml module_name CodegenTest file -
    1.10    in Haskell file -