changes to intruder

[IRC.git] / Robust / src / Benchmarks / SingleTM / Intruder / List_Node.java

diff --git a/Robust/src/Benchmarks/SingleTM/Intruder/List_Node.java b/Robust/src/Benchmarks/SingleTM/Intruder/List_Node.java
index 806baa19c7a5be5c58e6b6923c62988f80f8b58e..97f457a25ffe58abc35a4526b3454bfaa32f95e3 100644 (file)
--- a/Robust/src/Benchmarks/SingleTM/Intruder/List_Node.java
+++ b/Robust/src/Benchmarks/SingleTM/Intruder/List_Node.java
@@ -4,7 +4,5 @@ public class List_Node {
     List_Node nextPtr;
 
     public List_Node() {
-        dataPtr = null;
-        nextPtr = null;
     }
 }