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

Co-authored-by: Daniel <daniel.cason@informal.systems>
informalsystems · Jun 27, 2024 · d3ded59 · d3ded59
1 parent bd104c3
commit d3ded59
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
@@ -82,7 +82,7 @@ var num_unproven_blocks: StrandInfo
 
 
 // If a block contains transactions then it is at the very beginning, or the block also contains a proof
-def transactionNeedsProofInv = 
+def payloadImpliesProofInv = 
     chain.last().txs implies chain.last().height < numStrands or chain.last().proof != None
 
 // The number of proofs of empty blocks in a recursive proof is bounded by maxMissingProofs