diff --git a/src/Search/Search.hs b/src/Search/Search.hs
index 35713be3991878fc874687982cffa1950d14bddc..e60b044aafe8459ff3cc8fa446be69e2d55aac8b 100644
--- a/src/Search/Search.hs
+++ b/src/Search/Search.hs
@@ -100,8 +100,8 @@ oneProgRun prog state trace = do
           writeIORef state s'
           case next of
             Restart -> terminateProcess handle >> mapM_ hClose [pstdin, pstdout]
-            Continue x -> do
-              makeDecision pstdin state x
+            Continue x' -> do
+              makeDecision pstdin state x'
               loop
 
         EOF -> terminateProcess handle >> mapM_ hClose [pstdin, pstdout]
@@ -111,11 +111,11 @@ oneProgRun prog state trace = do
 
 
 tracePath :: Handle -> Handle -> IORef State -> [Bool] -> IO ()
-tracePath pstdin pstdout state [] = return ()
-tracePath pstdin pstdout state (decision:ds) = do
+tracePath _      _       _     [] = return ()
+tracePath pstdin pstdout state (decision:ds) =
   handleLine pstdout state >>= \case
     EOF -> error "premature eof" -- FIXME
-    Decision x -> do
+    Decision _ -> do
       makeDecision pstdin state decision
       tracePath pstdin pstdout state ds
     NewState _ -> tracePath pstdin pstdout state (decision:ds)