src/HOL/Imperative_HOL/Heap_Monad.thy
changeset 37845 b70d7a347964
parent 37842 27e7047d9ae6
child 37878 d016aaead7a2
     1.1 --- a/src/HOL/Imperative_HOL/Heap_Monad.thy	Fri Jul 16 14:11:08 2010 +0200
     1.2 +++ b/src/HOL/Imperative_HOL/Heap_Monad.thy	Fri Jul 16 15:28:22 2010 +0200
     1.3 @@ -489,7 +489,7 @@
     1.4  code_type Heap (Scala "Unit/ =>/ _")
     1.5  code_const bind (Scala "!Heap.bind((_), (_))")
     1.6  code_const return (Scala "('_: Unit)/ =>/ _")
     1.7 -code_const Heap_Monad.raise' (Scala "!error(_)")
     1.8 +code_const Heap_Monad.raise' (Scala "!error((_))")
     1.9  
    1.10  
    1.11  subsubsection {* Target variants with less units *}