1 files changed, 10 insertions, 6 deletions
diff --git a/source/Felix/Store.hs b/source/Felix/Store.hs
index bf84f6e..fb12670 100644
--- a/source/Felix/Store.hs
+++ b/source/Felix/Store.hs
@@ -4,6 +4,7 @@
 -- | Coordinator-owned access to the disposable SQLite store.
 module Felix.Store
     ( Store
+    , storeTheoryId
     , StoreSelection(..)
     , StorePlan
     , StorePath
@@ -53,16 +54,16 @@ module Felix.Store
     ) where
 
 import Base
-import Checking.Core
-import Checking.Declaration qualified as Declaration
-import Checking.Identity
-import Checking.Materialization qualified as Materialization
-import Checking.Semantic
+import Felix.Checking.Core
+import Felix.Checking.Declaration qualified as Declaration
+import Felix.Checking.Identity
+import Felix.Checking.Materialization qualified as Materialization
+import Felix.Checking.Semantic
 import Felix.Cache.Codec
 import Felix.Module (ModuleName)
 import Felix.Parsed.Identity qualified as Parsed
 import Felix.Parsed.Payload qualified as ParsedPayload
-import Syntax.Interface qualified as Syntax
+import Felix.Syntax.Interface qualified as Syntax
 
 import Control.Concurrent.MVar
     ( MVar
@@ -92,6 +93,9 @@ data Store = Store
     !TheoryId
     !SQLite.Connection
 
+storeTheoryId :: Store -> TheoryId
+storeTheoryId (Store _path theory _connection) = theory
+
 -- | The single invocation-local gateway for a store connection and its
 -- ordinary 'IORef'-backed validation memo.  Module checkers may run in
 -- parallel, but every SQLite and memo operation remains coordinator-owned.