chore: export identity module

anoma · Oct 7, 2024 · a547a97 · a547a97
1 parent 9bb7ad5
commit a547a97
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Anoma/Identity.juvix b/Anoma/Identity.juvix
@@ -2,4 +2,5 @@ module Anoma.Identity;
 
 import Anoma.Identity.External open public;
 import Anoma.Identity.Internal open public;
+import Anoma.Identity.Object open public;
 import Anoma.Identity.Signing.Types open public;