Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/TPTP/TPTP_Parser_Test.thy
changeset 65999 ee4cf96a9406
parent 63167 0909deb8059b
child 68672 9247996782c9 
--- a/src/HOL/TPTP/TPTP_Parser_Test.thy	Thu Jun 01 21:24:33 2017 +0200
+++ b/src/HOL/TPTP/TPTP_Parser_Test.thy	Thu Jun 01 21:43:36 2017 +0200
@@ -47,8 +47,7 @@
 
 (*test against all TPTP problems*)
 fun problem_names () =
-    map (Path.base #>
-         Path.implode #>
+    map (Path.base_name #>
          TPTP_Problem_Name.parse_problem_name #>
          TPTP_Problem_Name.mangle_problem_name)
      (TPTP_Syntax.get_file_list tptp_probs_dir)
isabelle