Migrate to `Felix` namespaceHEADhotg

1 files changed, 4 insertions, 4 deletions

diff --git a/source/Felix/Provers.hs b/source/Felix/Provers.hs
index eb6f62c..16ef655 100644
--- a/source/Felix/Provers.hs
+++ b/source/Felix/Provers.hs
@@ -79,9 +79,9 @@ module Felix.Provers
     ) where
 
 import Base
-import Checking.Authority qualified as Authority
-import Checking.Backend.Problem
-import Checking.Backend.Tptp
+import Felix.Checking.Authority qualified as Authority
+import Felix.Checking.Backend.Problem
+import Felix.Checking.Backend.Tptp
 
 import Control.Concurrent.STM
     ( STM
@@ -130,7 +130,7 @@ import Data.Text qualified as Text
 import Data.Text.Encoding qualified as TextEncoding
 import Data.Text.Encoding.Error qualified as TextEncodingError
 import Numeric.Natural (Natural)
-import Report.Location (Location)
+import Felix.Report.Location (Location)
 import System.Exit (ExitCode(..))
 import System.Posix.Signals (sigKILL, signalProcessGroup)
 import System.Posix.Types (ProcessGroupID)