src/Tools/try.ML

--- a/src/Tools/try.ML	Tue Sep 24 11:28:18 2013 +0200
+++ b/src/Tools/try.ML	Tue Sep 24 13:23:25 2013 +0200
@@ -116,7 +116,7 @@
 (* asynchronous print function (PIDE) *)
 
 fun print_function ((name, (weight, auto, tool)): tool) =
-  Command.print_function name
+  Command.print_function ("auto_" ^ name)
     (fn {command_name, ...} =>
       if Keyword.is_theory_goal command_name andalso Options.default_bool auto then
         SOME