src/Pure/System/options.scala

--- a/src/Pure/System/options.scala	Fri Jul 20 18:50:33 2012 +0200
+++ b/src/Pure/System/options.scala	Fri Jul 20 21:04:03 2012 +0200
@@ -66,7 +66,7 @@
     var options = empty
     for {
       dir <- Isabelle_System.components()
-      file = Isabelle_System.platform_file(dir + OPTIONS)
+      file = (dir + OPTIONS).file
       if file.isFile
       entry <- Parser.parse_entries(file)
     } {