--- a/src/Pure/System/gui_setup.scala Thu May 24 23:28:58 2012 +0200
+++ b/src/Pure/System/gui_setup.scala Thu May 24 23:44:16 2012 +0200
@@ -41,7 +41,7 @@
// values
if (Platform.is_windows)
- text.append("Cygwin root: " + Cygwin.check_root() + "\n")
+ text.append("Cygwin root: " + Standard_System.cygwin_root() + "\n")
text.append("JVM name: " + Platform.jvm_name + "\n")
text.append("JVM platform: " + Platform.jvm_platform + "\n")
text.append("JVM home: " + java.lang.System.getProperty("java.home") + "\n")