src/Pure/Tools/update_theorems.scala

--- a/src/Pure/Tools/update_theorems.scala	Thu Sep 13 16:30:07 2018 +0200
+++ b/src/Pure/Tools/update_theorems.scala	Thu Sep 13 21:18:43 2018 +0200
@@ -52,6 +52,6 @@
     for {
       spec <- specs
       file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
-    } update_theorems(Path.explode(File.standard_path(file)))
+    } update_theorems(File.path(file))
   })
 }