refactor: clean imports

anoma · Oct 16, 2024 · bb8dcc2 · bb8dcc2
1 parent 311f737
commit bb8dcc2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Anoma/State/ResourceMachine.juvix b/Anoma/State/ResourceMachine.juvix
@@ -4,7 +4,7 @@ import Stdlib.Prelude open;
 import Data.Set as Set open using {Set};
 import Anoma.Transaction.Object as Transaction open using {Transaction; mkTransaction; composeTransactions; verifyTransaction};
 import Anoma.State.CommitmentTree as CommitmentTree open using {Root};
-import Anoma.Transaction.Action as Action open;
+import Anoma.Transaction.Action as Action open using {Action};
 import Anoma.Delta as Delta open using {Delta};
 import Anoma.Proving.DeltaProof as DeltaProof;
 

diff --git a/Anoma/Transaction/Action.juvix b/Anoma/Transaction/Action.juvix
@@ -3,7 +3,7 @@ module Anoma.Transaction.Action;
 import Stdlib.Prelude open;
 import Stdlib.Trait.Ord.Eq open using {fromOrdToEq};
 import Data.Set as Set open using {Set};
-import Anoma.Resource as Resource open;
+import Anoma.Resource as Resource open using {Resource};
 import Anoma.Proving.ProofRecord open using {ProofRecord};
 import Anoma.Transaction.AppData open using {AppData};
 import Anoma.Utils open;