diff --git a/x86_symbolic/src/Data/Macaw/X86/Crucible.hs b/x86_symbolic/src/Data/Macaw/X86/Crucible.hs
index 35b84a6d..ca9fc0fc 100644
--- a/x86_symbolic/src/Data/Macaw/X86/Crucible.hs
+++ b/x86_symbolic/src/Data/Macaw/X86/Crucible.hs
@@ -67,6 +67,7 @@ import           Data.Macaw.Symbolic.CrucGen (MacawExt)
 import           Data.Macaw.Symbolic
 import qualified Data.Macaw.X86 as M
 import qualified Data.Macaw.X86.ArchTypes as M
+import qualified Data.Macaw.CFG.Core as MC
 
 import           Prelude