# HG changeset patch
# User bulwahn
# Date 1258054739 -3600
# Node ID dd3ea99d5c763ad8b8ee35a8296656b769ee5496
# Parent  854173fcd21c36095d1f0bd3bc36cf9b94181e7c
removed annoying tracing message

diff -r 854173fcd21c -r dd3ea99d5c76 src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML
--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML	Thu Nov 12 20:38:57 2009 +0100
+++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML	Thu Nov 12 20:38:59 2009 +0100
@@ -1047,7 +1047,6 @@
     let
       val _ = tracing ("Clause " ^ string_of_int (i + 1) ^ " of " ^
       p ^ " violates mode " ^ string_of_mode thy p m)
-      val _ = tracing (string_of_clause thy p (nth rs i))
     in () end
   else ()