projects
/
IRC.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
eb7d267
)
change
author
bdemsky
<bdemsky>
Sun, 18 Oct 2009 09:54:59 +0000
(09:54 +0000)
committer
bdemsky
<bdemsky>
Sun, 18 Oct 2009 09:54:59 +0000
(09:54 +0000)
Robust/src/ClassLibrary/JavaSTM/Thread.java
patch
|
blob
|
history
diff --git
a/Robust/src/ClassLibrary/JavaSTM/Thread.java
b/Robust/src/ClassLibrary/JavaSTM/Thread.java
index d74b50f0f585b6f12d5d15946dc5d93d3e845cc1..0e26b69e6317bc4470ebb59bc394ee8ba2be6f9c 100644
(file)
--- 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();