# HG changeset patch
# User haftmann
# Date 1159822849 -7200
# Node ID 4fcf8ddb54f5a99b44a8e596f2d9b4633400825b
# Parent  c3828205f22d65b1f2ba25da02291be3a97c5b5b
improved serialization for arbitrary

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\")")