model for partial TTT learning

[tt2015.git] / a4 / tcp / tester / learner / Main.java

diff --git a/a4/tcp/tester/learner/Main.java b/a4/tcp/tester/learner/Main.java
index 4d25e54..fa9c649 100644 (file)
--- a/a4/tcp/tester/learner/Main.java
+++ b/a4/tcp/tester/learner/Main.java
@@ -153,7 +153,7 @@ public class Main {
                        case 1:
                                inputAlphabet = new SimpleAlphabet<String>(ImmutableSet.of(
                                        "SYN", "ACK",
-                                       "RST"));
+                                       "DAT"));
                        break;
                        default:
                                inputAlphabet = new SimpleAlphabet<String>(ImmutableSet.of(