# HG changeset patch
# User haftmann
# Date 1279174445 -7200
# Node ID d8fdbcbde4b61e192de1e29f089bae799369e34a
# Parent  c78327288b50e8dd7c257ec870fdbe83b8ccc911
dropped spurious export_code

diff -r c78327288b50 -r d8fdbcbde4b6 src/HOL/Imperative_HOL/Heap_Monad.thy
--- a/src/HOL/Imperative_HOL/Heap_Monad.thy	Wed Jul 14 19:10:23 2010 +0100
+++ b/src/HOL/Imperative_HOL/Heap_Monad.thy	Thu Jul 15 08:14:05 2010 +0200
@@ -537,6 +537,4 @@
 
 hide_const (open) Heap heap guard raise' fold_map
 
-export_code return in Haskell file "/tmp/"
-
 end