Remove PPUP imports from Conway

IntersectMBO · Apr 25, 2024 · 52b54f0 · 52b54f0
1 parent 57e5d1a
commit 52b54f0
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 4 deletions.
diff --git a/src/Everything.agda b/src/Everything.agda
@@ -5,6 +5,7 @@ import Ledger.PDF
 import Ledger.Foreign.HSLedger
 
 import Ledger.NewPP; import Ledger.NewPP.Properties
+import Ledger.PPUp;  import Ledger.PPUp.Properties
 -- ^ deprecated in Conway, but keep it around for eventual earlier eras
 
 -- ** Midnight example

diff --git a/src/Ledger/Ledger.lagda b/src/Ledger/Ledger.lagda
@@ -16,7 +16,6 @@ module Ledger.Ledger
 
 open import Ledger.Enact govStructure
 open import Ledger.Gov txs
-open import Ledger.PPUp txs
 open import Ledger.Utxo txs abs
 open import Ledger.Utxow txs abs
 

diff --git a/src/Ledger/PDF.lagda b/src/Ledger/PDF.lagda
@@ -42,9 +42,6 @@ open import Ledger.Utxo.Properties
 open import Ledger.Utxow
 open import Ledger.Utxow.Properties
 
-open import Ledger.PPUp
-open import Ledger.PPUp.Properties
-
 open import Ledger.Ledger
 open import Ledger.Ledger.Properties
 open import Ledger.Ratify.Properties