Remove Throwaway.agda

cardano-scaling · Jan 23, 2025 · 416bbf2 · 416bbf2
1 parent 3dc6908
commit 416bbf2
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 239 deletions.
diff --git a/src/Hydra/Protocol/Main.lagda b/src/Hydra/Protocol/Main.lagda
@@ -31,7 +31,6 @@ open import Hydra.Protocol.Throwaway
 \input{Hydra/Protocol/OnChain}
 \input{Hydra/Protocol/OffChain}
 \input{Hydra/Protocol/Security}
-\input{Hydra/Protocol/Throwaway}
 
 \bibliographystyle{plain}
 \bibliography{short}

diff --git a/src/Hydra/Protocol/Throwaway.lagda b/src/Hydra/Protocol/Throwaway.lagda