From bd104c3c63bcc650640918413304fcf1f0a0e056 Mon Sep 17 00:00:00 2001 From: Josef Widder <44643235+josef-widder@users.noreply.github.com> Date: Thu, 27 Jun 2024 10:44:55 +0200 Subject: [PATCH] Update specs/quint/specs/proofs-in-blocs/proofs.qnt Co-authored-by: Daniel --- specs/quint/specs/proofs-in-blocs/proofs.qnt | 1 - 1 file changed, 1 deletion(-) diff --git a/specs/quint/specs/proofs-in-blocs/proofs.qnt b/specs/quint/specs/proofs-in-blocs/proofs.qnt index 28378e4cb..37f723b7c 100644 --- a/specs/quint/specs/proofs-in-blocs/proofs.qnt +++ b/specs/quint/specs/proofs-in-blocs/proofs.qnt @@ -15,7 +15,6 @@ val numStrands = 3 // K: number of strands val maxMissingProofs = 2 // P type Height = int -type ForkID = int type L2Proof = { provenBlock: Height,