dropped spurious export_code
authorhaftmann
Thu Jul 15 08:14:05 2010 +0200 (2010-07-15)
changeset 37835d8fdbcbde4b6
parent 37834 c78327288b50
child 37837 6e17a56514ce
dropped spurious export_code
src/HOL/Imperative_HOL/Heap_Monad.thy
     1.1 --- a/src/HOL/Imperative_HOL/Heap_Monad.thy	Wed Jul 14 19:10:23 2010 +0100
     1.2 +++ b/src/HOL/Imperative_HOL/Heap_Monad.thy	Thu Jul 15 08:14:05 2010 +0200
     1.3 @@ -537,6 +537,4 @@
     1.4  
     1.5  hide_const (open) Heap heap guard raise' fold_map
     1.6  
     1.7 -export_code return in Haskell file "/tmp/"
     1.8 -
     1.9  end