From a597f060a5ff023c844141c50a34878fdd8a7018 Mon Sep 17 00:00:00 2001
From: Daniel Cason <daniel.cason@informal.systems>
Date: Wed, 20 Nov 2024 16:37:22 +0100
Subject: [PATCH] spec/quint: re-tabbing bsyncWithConsensus.qnt

---
 specs/quint/specs/blocksync/bsyncWithConsensus.qnt | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/specs/quint/specs/blocksync/bsyncWithConsensus.qnt b/specs/quint/specs/blocksync/bsyncWithConsensus.qnt
index d59b51733..6e7a601c7 100644
--- a/specs/quint/specs/blocksync/bsyncWithConsensus.qnt
+++ b/specs/quint/specs/blocksync/bsyncWithConsensus.qnt
@@ -164,10 +164,8 @@ module bsyncWithConsensus {
     .then(all{unchangedAll, syncStatusStep("v3")}) 
     .then(all{unchangedAll, syncDeliverStatus("v4")}) 
     // v4's request to v2 times out...
-    .then(all{unchangedAll, syncClientTimeOut("v4")})
+    .then(all{unchangedAll, syncClientTimeout("v4")})
     // after handling the timeout a request for certificate is sent to v3
     .expect(requestsBuffer.get("v3").contains({ client: "v4", height: 0, rtype: SyncCertificate, server: "v3" }))
- 
-  
 
 }