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

Co-authored-by: Daniel <daniel.cason@informal.systems>
informalsystems · Jun 27, 2024 · bd104c3 · bd104c3
1 parent 9f3c654
commit bd104c3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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,