src/Pure/System/platform.scala
changeset 46117 edd50ec8d471
parent 45673 cd41e3903fbf
child 51617 4e49bba9772d
     1.1 --- a/src/Pure/System/platform.scala	Wed Jan 04 13:58:06 2012 +0100
     1.2 +++ b/src/Pure/System/platform.scala	Wed Jan 04 15:41:18 2012 +0100
     1.3 @@ -58,7 +58,6 @@
     1.4    /* JVM name */
     1.5  
     1.6    val jvm_name: String = System.getProperty("java.vm.name")
     1.7 -  val is_hotspot: Boolean = jvm_name.startsWith("Java HotSpot")
     1.8  
     1.9  
    1.10    /* Swing look-and-feel */