Changed prob1.dfg to prob_1.dfg
authorquigley
Thu Apr 07 18:35:21 2005 +0200 (2005-04-07)
changeset 15681b667c22edb36
parent 15680 83164f078985
child 15682 09a7b8909c4d
Changed prob1.dfg to prob_1.dfg
src/HOL/Tools/ATP/watcher.ML
     1.1 --- a/src/HOL/Tools/ATP/watcher.ML	Thu Apr 07 18:33:56 2005 +0200
     1.2 +++ b/src/HOL/Tools/ATP/watcher.ML	Thu Apr 07 18:35:21 2005 +0200
     1.3 @@ -110,7 +110,7 @@
     1.4                                                           val exec_tptp2x = Unix.execute("/usr/groups/theory/tptp/TPTP-v2.6.0/TPTP2X/tptp2X", ["-fdfg "^probfile^" -d "^dfg_path])
     1.5                                                         (*val _ = Posix.Process.wait ()*)
     1.6                                                         (*val _ =Unix.reap exec_tptp2x*)
     1.7 -                                                         val newfile = dfg_path^"/prob"^(probID)^".dfg"
     1.8 +                                                         val newfile = dfg_path^"/prob"^"_"^(probID)^".dfg"
     1.9                                         
    1.10                                                        in   
    1.11                                                           goals_being_watched := (!goals_being_watched) + 1;