From a547a970b77113cc2499da968b2d2b6aaba27cfd Mon Sep 17 00:00:00 2001
From: Michael Heuer <michael.heuer@rwth-aachen.de>
Date: Mon, 7 Oct 2024 12:16:31 +0200
Subject: [PATCH] chore: export identity module

---
 Anoma/Identity.juvix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Anoma/Identity.juvix b/Anoma/Identity.juvix
index 6b3b344..5f45562 100644
--- 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;