# HG changeset patch
# User bulwahn
# Date 1290422106 -3600
# Node ID 36ca3fad1f31c4a5547491e608351fffb4794ce7
# Parent  5fb74f66efa4cff23c0c099f81d473b161aca795
improving function is_iterable in quickcheck

diff -r 5fb74f66efa4 -r 36ca3fad1f31 src/Tools/quickcheck.ML
--- a/src/Tools/quickcheck.ML	Mon Nov 22 11:35:02 2010 +0100
+++ b/src/Tools/quickcheck.ML	Mon Nov 22 11:35:06 2010 +0100
@@ -205,8 +205,9 @@
    end
 
 (* we actually assume we know the generators and its behaviour *)
-fun is_iteratable "small" = false
+fun is_iteratable "SML" = true
   | is_iteratable "random" = true
+  | is_iteratable _ = false
   
 fun test_term ctxt generator_name t =
   let