changes to intruder

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

diff --git a/Robust/src/Benchmarks/SingleTM/Intruder/Decoded.java b/Robust/src/Benchmarks/SingleTM/Intruder/Decoded.java
index dcdcfe526bad5c972bc2cc2387bce1c44ea41ca4..7774da66789a2faeefee2a8e7d9a47b55dc86a83 100644 (file)
--- a/Robust/src/Benchmarks/SingleTM/Intruder/Decoded.java
+++ b/Robust/src/Benchmarks/SingleTM/Intruder/Decoded.java
@@ -1,7 +1,3 @@
-
-/* structure in Deocder 
- */
-
 public class Decoded {
     int flowId;
     byte[] data;