arraycopy method

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

diff --git a/Robust/src/ClassLibrary/System.java b/Robust/src/ClassLibrary/System.java
index a0b847a87b4025812b442b48d69375affa1be665..249a09e4d45b4c56604699d07bf65bcd6ecffb30 100644 (file)
--- a/Robust/src/ClassLibrary/System.java
+++ b/Robust/src/ClassLibrary/System.java
@@ -77,4 +77,6 @@ public class System {
 
   public static native void flushToFile(int threadid);
   /* Only used for microbenchmark testing of SingleTM version */
+
+  public static native void arraycopy(Object src, int srcPos, Object dst, int destPos, int length);
 }