spec/quint: re-tabbing bsyncWithConsensus.qnt

informalsystems · Nov 20, 2024 · a597f06 · a597f06
1 parent 6c4ac42
commit a597f06
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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" }))
-
-
 
 }