# HG changeset patch
# User bulwahn
# Date 1299830309 -3600
# Node ID 2ae19825f7b6676121aba4db3529c1dea7a678f4
# Parent  39fd77f0ae596fb84873df5cdcb2171fbb3cca40
removing debug message in quickcheck's postprocessor

diff -r 39fd77f0ae59 -r 2ae19825f7b6 src/HOL/Tools/smallvalue_generators.ML
--- a/src/HOL/Tools/smallvalue_generators.ML	Fri Mar 11 08:13:00 2011 +0100
+++ b/src/HOL/Tools/smallvalue_generators.ML	Fri Mar 11 08:58:29 2011 +0100
@@ -340,7 +340,6 @@
   
 fun post_process_term t =
   let
-    val _ = tracing (Syntax.string_of_term @{context} t)
     fun map_Abs f t =
       case t of Abs (x, T, t') => Abs (x, T, f t') | _ => raise TERM ("map_Abs", [t]) 
     fun process_args t = case strip_comb t of