Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
improved serialization for arbitrary
authorhaftmann
Mon, 02 Oct 2006 23:00:49 +0200
changeset 20833 4fcf8ddb54f5
parent 20832 c3828205f22d
child 20834 9a24a9121e58
improved serialization for arbitrary
src/HOL/HOL.thy file | annotate | diff | comparison | revisions 
--- 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\")")
isabelle