Fix lab3 test23 comment

emichael · Nov 14, 2024 · 43a03e4 · 43a03e4
1 parent 9923339
commit 43a03e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/labs/lab3-paxos/tst/dslabs/paxos/PaxosTest.java b/labs/lab3-paxos/tst/dslabs/paxos/PaxosTest.java
@@ -1057,7 +1057,7 @@ public void test23QuorumCheckingSearch() {
     bfs(c2AtServer5);
     final SearchState c2AtServer3 = goalMatchingState();
 
-    // Now, clear the prunes and find a state where server 2 has c1
+    // Now, clear the prunes and find a state where server 1 has c1
     searchSettings.clear().maxTimeSecs(30).addInvariant(slotValid(1));
 
     // Drop all pending messages to narrow search