src/HOL/Quickcheck_Benchmark/Needham_Schroeder_Base.thy
changeset 58813 625d04d4fd2a
parent 58310 91ea607a34d8
child 61952 546958347e05
--- a/src/HOL/Quickcheck_Benchmark/Needham_Schroeder_Base.thy	Wed Oct 29 11:13:24 2014 +0100
+++ b/src/HOL/Quickcheck_Benchmark/Needham_Schroeder_Base.thy	Wed Oct 29 11:19:27 2014 +0100
@@ -194,7 +194,7 @@
 declare ListMem_iff[symmetric, code_pred_inline]
 declare [[quickcheck_timing]]
 
-setup {* Exhaustive_Generators.setup_exhaustive_datatype_interpretation *}
+setup Exhaustive_Generators.setup_exhaustive_datatype_interpretation
 declare [[quickcheck_full_support = false]]
 
 end
\ No newline at end of file