From 00c811eafcd5e17e47446190d02e0b3e006ceb1b Mon Sep 17 00:00:00 2001
From: Josef Widder <josef@informal.systems>
Date: Thu, 21 Nov 2024 09:36:49 +0100
Subject: [PATCH] mock fix

---
 specs/quint/specs/blocksync/bsyncMock.qnt | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/specs/quint/specs/blocksync/bsyncMock.qnt b/specs/quint/specs/blocksync/bsyncMock.qnt
index 1aa090f35..6a3e1748c 100644
--- a/specs/quint/specs/blocksync/bsyncMock.qnt
+++ b/specs/quint/specs/blocksync/bsyncMock.qnt
@@ -57,7 +57,7 @@ module bsyncMock {
 
   /// Update server v from the consensus' blockchain
   /// This abstracts as pull-based mechanism: the server consults the chain state.
-  action mockUpdateServer(v) = all {
+  action syncUpdateServer(v) = all {
     all {
       updateServer(v, chains.get(v)),
       unchangedClient,
@@ -87,8 +87,8 @@ module bsyncMock {
     any {
       pureSyncStep(v, unchangedMock),
       // consensus-specific steps
-      syncStepClient(v, writeAction),  // is checking if there are responses and check whether it need to requ
-      mockUpdateServer(v),
+      syncStepClient(v, writeAction, false),  // is checking if there are responses and check whether it need to requ
+      syncUpdateServer(v),
       newHeightActionAll(v, validators, chains.get(v).length()),
       decideMock(v),
    }