Update specs/quint/specs/proofs-in-blocs/proofs.qnt

Co-authored-by: Daniel <daniel.cason@informal.systems>
informalsystems · Jun 21, 2024 · 2fc93bc · 2fc93bc
1 parent 205027a
commit 2fc93bc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/specs/quint/specs/proofs-in-blocs/proofs.qnt b/specs/quint/specs/proofs-in-blocs/proofs.qnt
@@ -24,7 +24,7 @@ type ForkID = int
 
 type L2Proof = {
     provenBlock: Height,
-    emptyBlocks: Set[int],
+    emptyBlocks: Set[Height],
 }
 
 type BlockProof =