changeset 54062 | 427380d5d1d7 |
parent 53815 | e8aa538e959e |
child 54116 | ba709c934470 |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_util.ML Fri Oct 04 14:35:00 2013 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_util.ML Fri Oct 04 16:11:19 2013 +0200 @@ -162,7 +162,7 @@ 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 =