From 42a9ef3645e703005c3d696412906416a2d1c81a Mon Sep 17 00:00:00 2001
From: Arseny Sher <sher-ars@yandex.ru>
Date: Sat, 2 Nov 2024 11:25:12 +0300
Subject: [PATCH] fix newline

---
 safekeeper/spec/ProposerAcceptorStatic.tla | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/safekeeper/spec/ProposerAcceptorStatic.tla b/safekeeper/spec/ProposerAcceptorStatic.tla
index 6e6330aace..40b6f4cd31 100644
--- a/safekeeper/spec/ProposerAcceptorStatic.tla
+++ b/safekeeper/spec/ProposerAcceptorStatic.tla
@@ -419,4 +419,4 @@ MaxTruncatedTerms ==
             truncated_records_terms == {acc_state[a].wal[lsn]: lsn \in truncated_lsns}
          IN
             Cardinality(truncated_records_terms) < 2
-====
\ No newline at end of file
+====