diff options
Diffstat (limited to 'source/Felix/Provers.hs')
| -rw-r--r-- | source/Felix/Provers.hs | 8 |
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) |