From ea08dbaaefec3b0f81dd1276b33b65f991d4acf5 Mon Sep 17 00:00:00 2001 From: Hans-Peter Deifel <hpd@hpdeifel.de> Date: Mon, 30 Jan 2017 09:07:06 +0100 Subject: [PATCH] Fix compiler warnings --- src/CFG/Sanitize.hs | 2 -- src/Search/Search2.hs | 2 +- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/src/CFG/Sanitize.hs b/src/CFG/Sanitize.hs index f777708..66493ed 100644 --- a/src/CFG/Sanitize.hs +++ b/src/CFG/Sanitize.hs @@ -6,8 +6,6 @@ module CFG.Sanitize ) where import Data.Char -import Data.List -import Data.Maybe import Data.Monoid import qualified Data.Text as T diff --git a/src/Search/Search2.hs b/src/Search/Search2.hs index 6658eec..98d041f 100644 --- a/src/Search/Search2.hs +++ b/src/Search/Search2.hs @@ -164,7 +164,7 @@ parseLine handle = do Nothing -> error $ "Parser error in line " <> T.unpack line Just (DecisionRequest num) -> return $ Decision num - Just (BeforeSyscall state call func) -> + Just (BeforeSyscall _ call _) -> return $ Syscall call Just (AtBasicBlock state abb func) -> return $ NewVertex (Vertex state abb func) -- GitLab