src/Tools/try.ML

--- a/src/Tools/try.ML	Fri Aug 02 14:26:09 2013 +0200
+++ b/src/Tools/try.ML	Fri Aug 02 16:00:14 2013 +0200
@@ -117,7 +117,7 @@
 
 fun print_function ((name, (weight, auto, tool)): tool) =
   Command.print_function name
-    (fn {command_name} =>
+    (fn {command_name, ...} =>
       if Keyword.is_theory_goal command_name andalso Options.default_bool auto then
         SOME
          {delay = SOME (seconds (Options.default_real @{option auto_time_start})),