--- 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