more changes for rangePrefetch

[IRC.git] / Robust / src / ClassLibrary / System.java

diff --git a/Robust/src/ClassLibrary/System.java b/Robust/src/ClassLibrary/System.java
index 711769e05f5889fc8100d5639095835a7a242d42..7dadfe2e8d880c23f03a6c586ef302c7d10b3857 100644 (file)
--- a/Robust/src/ClassLibrary/System.java
+++ b/Robust/src/ClassLibrary/System.java
@@ -18,6 +18,6 @@ public class System {
 
   public static native void clearPrefetchCache();
 
-  public static native void rangePrefetch(Object o, short numoffset,  short[] offsets); //TODO Complete this definition
+  public static native void rangePrefetch(Object o, short[] offsets);
 
 }