Update specs/quint/specs/driver.qnt

Co-authored-by: Josef Widder <[email protected]>
informalsystems · Nov 22, 2024 · 9f5ad62 · 9f5ad62
1 parent 36d2e07
commit 9f5ad62
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/specs/quint/specs/driver.qnt b/specs/quint/specs/driver.qnt
@@ -129,7 +129,7 @@ module driver {
             )
         )
 
-        val resultDriver = driver.with("bk",vkWithCertificates)
+        val resultDriver = { ... driver, bk: vkWithCertificates }
         // Note: proposals messages are not processed / removed
         // TODO: which messages can safely be removed in case of StartInRound(r)???
         val resultNodeState = ns