src/HOL/TPTP/TPTP_Interpret_Test.thy
changeset 48829 6ed588c4f963
parent 47693 64023cf4d148
child 55595 2e2e9bc7c4c6
     1.1 --- a/src/HOL/TPTP/TPTP_Interpret_Test.thy	Thu Aug 16 14:07:32 2012 +0200
     1.2 +++ b/src/HOL/TPTP/TPTP_Interpret_Test.thy	Thu Aug 16 15:41:36 2012 +0200
     1.3 @@ -17,7 +17,7 @@
     1.4      Timing.timing
     1.5        (TPTP_Interpret.interpret_file
     1.6         false
     1.7 -       (Path.dir tptp_probs_dir)
     1.8 +       [Path.explode "$TPTP"]
     1.9         (Path.append tptp_probs_dir (Path.explode "LCL/LCL825-1.p"))
    1.10         []
    1.11         [])
    1.12 @@ -38,7 +38,7 @@
    1.13      TimeLimit.timeLimit (Time.fromSeconds (if timeout = 0 then 60 else timeout))
    1.14       (TPTP_Interpret.interpret_file
    1.15         false
    1.16 -       (Path.dir tptp_probs_dir)
    1.17 +       [Path.explode "$TPTP"]
    1.18         file
    1.19         []
    1.20         []) thy