src/HOL/TPTP/TPTP_Parser_Test.thy
changeset 65999 ee4cf96a9406
parent 63167 0909deb8059b
child 68672 9247996782c9
     1.1 --- a/src/HOL/TPTP/TPTP_Parser_Test.thy	Thu Jun 01 21:24:33 2017 +0200
     1.2 +++ b/src/HOL/TPTP/TPTP_Parser_Test.thy	Thu Jun 01 21:43:36 2017 +0200
     1.3 @@ -47,8 +47,7 @@
     1.4  
     1.5  (*test against all TPTP problems*)
     1.6  fun problem_names () =
     1.7 -    map (Path.base #>
     1.8 -         Path.implode #>
     1.9 +    map (Path.base_name #>
    1.10           TPTP_Problem_Name.parse_problem_name #>
    1.11           TPTP_Problem_Name.mangle_problem_name)
    1.12       (TPTP_Syntax.get_file_list tptp_probs_dir)