# HG changeset patch
# User Christian Haeubl <haeubl@ssw.jku.at>
# Date 1370949292 -7200
# Node ID 3754bb5aab2fac07ce8c80b3bdaa885103f90969
# Parent  f90fc8987779aae2fd96064e4dbe323a03c88f16
Minor fix after merge.

diff -r f90fc8987779 -r 3754bb5aab2f graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotProfilingInfo.java
--- a/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotProfilingInfo.java	Tue Jun 11 13:12:57 2013 +0200
+++ b/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotProfilingInfo.java	Tue Jun 11 13:14:52 2013 +0200
@@ -22,7 +22,6 @@
  */
 package com.oracle.graal.hotspot.meta;
 
-import static com.oracle.graal.phases.GraalOptions.*;
 import com.oracle.graal.api.meta.*;
 import com.oracle.graal.debug.*;
 import com.oracle.graal.hotspot.*;