--- a/src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML Mon Oct 04 10:17:11 2021 +0200
+++ b/src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML Mon Sep 20 14:24:11 2021 +0200
@@ -347,7 +347,9 @@
fun set_file_name (SOME dir) =
Config.put Sledgehammer_Prover_ATP.atp_dest_dir dir
#> Config.put Sledgehammer_Prover_ATP.atp_problem_prefix
- ("prob_" ^ StringCvt.padLeft #"0" 5 (str0 (Position.line_of pos)) ^ "__")
+ ("prob_" ^
+ StringCvt.padLeft #"0" 5 (str0 (Position.line_of pos)) ^ "_" ^
+ StringCvt.padLeft #"0" 6 (str0 (Position.offset_of pos)) ^ "__")
#> Config.put SMT_Config.debug_files
(dir ^ "/" ^ Name.desymbolize (SOME false) (ATP_Util.timestamp ()) ^ "_"
^ serial_string ())