diff -r c3828205f22d -r 4fcf8ddb54f5 src/HOL/HOL.thy
--- a/src/HOL/HOL.thy	Mon Oct 02 23:00:46 2006 +0200
+++ b/src/HOL/HOL.thy	Mon Oct 02 23:00:49 2006 +0200
@@ -1388,7 +1388,7 @@
 text {* code generation for arbitrary as exception *}
 
 setup {*
-  CodegenSerializer.add_undefined "SML" "arbitrary" "raise Fail \"arbitrary\""
+  CodegenSerializer.add_undefined "SML" "arbitrary" "(raise Fail \"arbitrary\")"
 *}
 code_const arbitrary
   (Haskell target_atom "(error \"arbitrary\")")