# HG changeset patch
# User blanchet
# Date 1355316134 -3600
# Node ID 06b199a042ff71929c7d04bbb3621cebda1eeb68
# Parent  b977b727c7d58cfd7f0d87217dc6738a3296c7f7
tuned debugging file names

diff -r b977b727c7d5 -r 06b199a042ff src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Wed Dec 12 13:28:23 2012 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Wed Dec 12 13:42:14 2012 +0100
@@ -624,11 +624,11 @@
          (max_new_instances |> the_default best_max_new_instances)
   #> Config.put Monomorph.keep_partial_instances false
 
-fun suffix_for_mode Auto_Try = "_auto_try"
+fun suffix_for_mode Auto_Try = "_try"
   | suffix_for_mode Try = "_try"
   | suffix_for_mode Normal = ""
-  | suffix_for_mode MaSh = "_mash"
-  | suffix_for_mode Auto_Minimize = "_auto_min"
+  | suffix_for_mode MaSh = ""
+  | suffix_for_mode Auto_Minimize = "_min"
   | suffix_for_mode Minimize = "_min"
 
 (* Give the ATPs some slack before interrupting them the hard way. "z3_tptp" on