src/HOL/Library/Array.thy

--- a/src/HOL/Library/Array.thy	Tue Jul 29 14:07:23 2008 +0200
+++ b/src/HOL/Library/Array.thy	Tue Jul 29 14:20:22 2008 +0200
@@ -198,7 +198,7 @@
 
 subsubsection {* Haskell *}
 
-code_type array (Haskell "STArray '_s _")
+code_type array (Haskell "STArray/ RealWorld/ _")
 code_const Array (Haskell "error/ \"bare Array\"")
 code_const Array.new' (Haskell "newArray/ (0,/ _)")
 code_const Array.of_list' (Haskell "newListArray/ (0,/ _)")