changeset 32373 | c96330408d89 |
parent 31985 | a6e982b1ebba |
child 32657 | 5f13912245ff |
--- a/src/HOL/Quickcheck.thy Fri Aug 14 15:36:54 2009 +0200 +++ b/src/HOL/Quickcheck.thy Fri Aug 14 15:36:55 2009 +0200 @@ -54,7 +54,7 @@ begin definition - "random _ = Pair (STR [], \<lambda>u. Code_Eval.term_of (STR []))" + "random _ = Pair (STR '''', \<lambda>u. Code_Eval.term_of (STR ''''))" instance ..