diff --git a/src/CFG/Sanitize.hs b/src/CFG/Sanitize.hs
index f7777081945e75ab2aa780dac33135b3e4a9fd9f..66493eda2829ffea0255b2a6c6743a8dbd85187f 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 6658eeca5643e10d743b9983f20de71e7a5cadd8..98d041fb1e4b87f18462def37a2ae7e0b55c31d8 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)