changes

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

diff --git a/Robust/src/ClassLibrary/System.java b/Robust/src/ClassLibrary/System.java
index b1dd8f7f0a0aceadb4266bd596b3f62e4f438e06..a0b847a87b4025812b442b48d69375affa1be665 100644 (file)
--- a/Robust/src/ClassLibrary/System.java
+++ b/Robust/src/ClassLibrary/System.java
@@ -66,6 +66,8 @@ public class System {
 
   public static native void deepArrayCopy(Object dst, Object src);
 
+  public static native void Assert(boolean status);
+
   /* Only used for microbenchmark testing of SingleTM version */
   public static native void logevent(int event);
   public static native void logevent();
@@ -75,5 +77,4 @@ public class System {
 
   public static native void flushToFile(int threadid);
   /* Only used for microbenchmark testing of SingleTM version */
-
 }