a small change

[IRC.git] / Robust / src / Benchmarks / Distributed / SpamFilter / Mail.java

diff --git a/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java b/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
index b0e46e11f23c951154424d3f7e8a8c05c1a31290..62379c10dc71d8c55aa0dd0a31865e22b9940cd7 100644 (file)
--- a/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
+++ b/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
@@ -30,7 +30,7 @@ public class Mail {
     while((line = fileinput.readLine()) != null)
     {
       String[] splittedLine = line.split();
-      if(splittedLine[0].equals("MessageID:"))  // message id
+      if(splittedLine[0].equals("Header:"))  // message id
       {
         header = splittedLine[1];
       }