Migrate to `Felix` namespaceHEADhotg

1 files changed, 9 insertions, 9 deletions

diff --git a/source/Felix/Verification.hs b/source/Felix/Verification.hs
index 572f3ce..716beea 100644
--- a/source/Felix/Verification.hs
+++ b/source/Felix/Verification.hs
@@ -48,11 +48,11 @@ module Felix.Verification
 
 
 import Base
-import Checking.Declaration qualified as Declaration
-import Checking.Foundation qualified as Foundation
-import Checking.Identity qualified as Identity
-import Checking.Module qualified as Typed
-import Checking.Semantic qualified as Semantic
+import Felix.Checking.Declaration qualified as Declaration
+import Felix.Checking.Foundation qualified as Foundation
+import Felix.Checking.Identity qualified as Identity
+import Felix.Checking.Module qualified as Typed
+import Felix.Checking.Semantic qualified as Semantic
 import Felix.Module (localDeclarationOrdinal)
 import Felix.Parse (ParseWorkspaceError(..), ParsedSourceWorkspace)
 import Felix.Parse qualified as Felix
@@ -61,10 +61,10 @@ import Felix.Provers
 import Felix.Source
 import Felix.Source.Graph (ResolvedSourceGraph)
 import Felix.Store qualified as Store
-import Render.Html.Export qualified as HtmlExport
-import Report.Location
-import Syntax.Abstract qualified as Raw
-import Syntax.Interface qualified as Syntax
+import Felix.Render.Html.Export qualified as HtmlExport
+import Felix.Report.Location
+import Felix.Syntax.Abstract qualified as Raw
+import Felix.Syntax.Interface qualified as Syntax
 
 import Control.Exception qualified as Exception
 import Control.Monad (unless)