src/HOL/HOL.thy
changeset 20833 4fcf8ddb54f5
parent 20766 9913d3bc3d17
child 20944 34b2c1bb7178
--- 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\")")