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
+====