From fe537b6dfec4d0ec7ad631e279ab292c817edf6f Mon Sep 17 00:00:00 2001
From: Daniel Matichuk <dmatichuk@galois.com>
Date: Thu, 7 Dec 2023 13:05:18 -0800
Subject: [PATCH] Pate.Arch: remove accidental module import

---
 src/Pate/Arch.hs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/Pate/Arch.hs b/src/Pate/Arch.hs
index 88049128..6d242d8a 100644
--- 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(..))