diff make/build-graal.xml @ 9707:cf0e31151830

Merge.
author Christian Haeubl <haeubl@ssw.jku.at>
date Tue, 14 May 2013 10:18:31 +0200
parents fe9a18fbb15e
children e723f9031785
line wrap: on
line diff
--- a/make/build-graal.xml	Tue May 14 10:17:06 2013 +0200
+++ b/make/build-graal.xml	Tue May 14 10:18:31 2013 +0200
@@ -77,7 +77,7 @@
     <jar basedir="${classes.dir}" destfile="${jar.file}">
       <service type="com.oracle.graal.nodes.spi.ReplacementsProvider">
         <provider classname="com.oracle.graal.hotspot.replacements.CallSiteSubstitutions"/>
-        <provider classname="com.oracle.graal.hotspot.replacements.HotSpotInstalledCodeIntrinsics"/>
+        <provider classname="com.oracle.graal.hotspot.replacements.HotSpotNmethodIntrinsics"/>
         <provider classname="com.oracle.graal.replacements.GraalMethodSubstitutions"/>
       </service>
       <service type="com.oracle.graal.phases.tiers.CompilerConfiguration">