find replace fail

microsoft · Sep 9, 2024 · d94cc79 · d94cc79
1 parent 8931e18
commit d94cc79
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tla/consensus/abs.tla b/tla/consensus/abs.tla
@@ -48,10 +48,10 @@ Next ==
         \/ Copy(i) 
         \/ ExtendToMax(i)
 
-AbsSpec == Init /\ [][Next]_CLogs
+AbsSpec == Init /\ [][Next]_cLogs
 
 AppendOnlyProp ==
-    [][\A i \in Servers : IsPrefix(cLogs[i], cLogs'[i])]_CLogs
+    [][\A i \in Servers : IsPrefix(cLogs[i], cLogs'[i])]_cLogs
 
 NoConflicts ==
     \A i, j \in Servers :