From: bdemsky <bdemsky>
Date: Sun, 18 Oct 2009 09:54:59 +0000 (+0000)
Subject: change
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=29b9f7dbebea676854ab72c3b7273780699267e6;p=IRC.git

change
---

diff --git a/Robust/src/ClassLibrary/JavaSTM/Thread.java b/Robust/src/ClassLibrary/JavaSTM/Thread.java
index d74b50f0..0e26b69e 100644
--- a/Robust/src/ClassLibrary/JavaSTM/Thread.java
+++ b/Robust/src/ClassLibrary/JavaSTM/Thread.java
@@ -5,8 +5,7 @@ public class Thread {
     nativeCreate();
   }
 
-  public static native void abort() {
-  }
+  public static native void abort();
 
   private static void staticStart(Thread t) {
     t.run();