From f1f16b75097f96275f205c568bf9ea55c149a170 Mon Sep 17 00:00:00 2001
From: Joe Hendrix <jhendrix@galois.com>
Date: Fri, 22 Mar 2019 14:40:14 -0700
Subject: [PATCH] Remove warnings

---
 base/src/Data/Macaw/Types.hs | 2 ++
 x86/src/Data/Macaw/X86.hs    | 1 -
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/base/src/Data/Macaw/Types.hs b/base/src/Data/Macaw/Types.hs
index 3e1de8f7..44be57d0 100644
--- a/base/src/Data/Macaw/Types.hs
+++ b/base/src/Data/Macaw/Types.hs
@@ -196,6 +196,8 @@ type BoolType = 'BoolType
 
 type TupleType = 'TupleType
 
+type VecType = 'VecType
+
 -- | The bitvector associated with the given floating-point format.
 type FloatBVType (fi :: FloatInfo) = BVType (FloatInfoBits fi)
 
diff --git a/x86/src/Data/Macaw/X86.hs b/x86/src/Data/Macaw/X86.hs
index 5917c368..361a3edc 100644
--- a/x86/src/Data/Macaw/X86.hs
+++ b/x86/src/Data/Macaw/X86.hs
@@ -49,7 +49,6 @@ module Data.Macaw.X86
        , x86DemandContext
        ) where
 
-import           Control.Exception (assert)
 import           Control.Lens
 import           Control.Monad.Cont
 import           Control.Monad.Except