# HG changeset patch
# User blanchet
# Date 1314108859 -7200
# Node ID 2434dd7519e8bc938eb9ba767f77a839b3ca17c9
# Parent  f74707e12d30348eda0e014a1ba64c7ccc02cb66
clearer separator in generated file names

diff -r f74707e12d30 -r 2434dd7519e8 src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML
--- a/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML	Tue Aug 23 16:07:01 2011 +0200
+++ b/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML	Tue Aug 23 16:14:19 2011 +0200
@@ -361,7 +361,7 @@
     fun set_file_name (SOME dir) =
         Config.put Sledgehammer_Provers.dest_dir dir
         #> Config.put Sledgehammer_Provers.problem_prefix
-          ("prob_" ^ str0 (Position.line_of pos))
+          ("prob_" ^ str0 (Position.line_of pos) ^ "__")
         #> Config.put SMT_Config.debug_files
           (dir ^ "/" ^ Name.desymbolize false (ATP_Util.timestamp ()) ^ "_"
           ^ serial_string ())