src/HOL/Tools/Sledgehammer/sledgehammer_util.ML

                            (print_mode_value ())) f x
 
 fun hackish_string_of_term ctxt =
   with_vanilla_print_mode (Syntax.string_of_term ctxt) #> simplify_spaces
 
-val spying_version = "b"
+val spying_version = "c"
 
 fun spying false _ = ()
   | spying true f =
     let
       val (state, i, tool, message) = f ()