Pate.Arch: remove accidental module import

GaloisInc · Dec 7, 2023 · fe537b6 · fe537b6
1 parent 646d71c
commit fe537b6
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/Pate/Arch.hs b/src/Pate/Arch.hs
@@ -99,8 +99,6 @@ import qualified Data.ElfEdit as EEP
 import qualified Data.Parameterized.List as P
 import qualified Data.Parameterized.Map as MapF
 import qualified Data.Parameterized.TraversableFC as TFC
-import Data.Proxy
-import Data.Witness
 import qualified Data.Aeson as JSON
 import           Data.Aeson ( (.=) )
 import Data.Parameterized.Classes (ShowF(..))