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/Pure/Admin/check_sources.scala
changeset 69367 34b7550b66c7
parent 69277 258bef08b31e
child 72254 8c5b8d7999bd 
--- a/src/Pure/Admin/check_sources.scala	Wed Nov 28 16:14:31 2018 +0100
+++ b/src/Pure/Admin/check_sources.scala	Wed Nov 28 16:18:40 2018 +0100
@@ -15,7 +15,7 @@
     val file_pos = path.position
     def line_pos(i: Int) = Position.Line_File(i + 1, file_name)
 
-    if (space_explode('/', Word.lowercase(path.expand.split_ext._1.implode)).contains("aux"))
+    if (space_explode('/', Word.lowercase(path.expand.drop_ext.implode)).contains("aux"))
       Output.warning("Illegal file-name on Windows" + Position.here(file_pos))
 
     val content = File.read(path)
isabelle