Fix build

Author: carlostome

default.nix

@@ -128,7 +128,7 @@ in rec
     meta = { };
     buildInputs = deps;
     buildPhase = ''
-      agda --profile=modules src/CardanoLedger.agda | tee typecheck.log
+      agda --profile=modules src/Ledger/Conway.agda | tee typecheck.log
     '';
     doCheck = true;
     checkPhase = ''

src/Ledger/Conway.agda

@@ -1,6 +1,6 @@
-module CardanoLedger where
+module Ledger.Conway where
 
-import CardanoLedgerSafe
+import Ledger.ConwaySafe
 
 import Ledger.Conway.Foreign.HSLedger
 

src/Ledger/Conway/Epoch.lagda

@@ -32,7 +32,7 @@ open import Ledger.Conway.Enact govStructure
 open import Ledger.Conway.Gov txs
 open import Ledger.Conway.Ledger txs abs
 open import Ledger.Conway.Ratify txs
-open import Ledger.Conway.Rewards govStructure
+open import Ledger.Conway.Rewards txs abs
 open import Ledger.Conway.Utxo txs abs
 
 \end{code}

src/Ledger/Conway/Epoch/Properties.agda

@@ -16,6 +16,7 @@ open import Ledger.Conway.Epoch txs abs
 open import Ledger.Conway.Ledger txs abs
 open import Ledger.Conway.Ratify txs
 open import Ledger.Conway.Ratify.Properties txs
+open import Ledger.Conway.Rewards txs abs
 
 open import Data.List using (filter)
 import Relation.Binary.PropositionalEquality as PE

src/Ledger/Conway/Rewards.lagda

@@ -20,7 +20,7 @@ open import Ledger.Conway.Types.Numeric.UnitInterval
 open import Agda.Builtin.FromNat
 open        Number number renaming (fromNat to fromℕ)
 
-module Ledger.Rewards
+module Ledger.Conway.Rewards
   (txs : _) (open TransactionStructure txs)
   (abs : AbstractFunctions txs)
   where