From 3c7e2226763fea76d135eae8be5ddc67cfe6ff1b Mon Sep 17 00:00:00 2001 From: Kevin Quick Date: Mon, 26 Nov 2018 11:26:01 -0800 Subject: [PATCH] Add missing import for previous change. --- x86_symbolic/src/Data/Macaw/X86/Crucible.hs | 1 + 1 file changed, 1 insertion(+) 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