test: strange value #2

shnarazk · May 30, 2016 · c04c5ca · c04c5ca
1 parent 1c1b54f
commit c04c5ca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/SAT/Solver/Mios/M114.hs b/SAT/Solver/Mios/M114.hs
@@ -229,7 +229,7 @@ analyze s@Solver{..} confl = do
   let
     vec = asVec lastDL
     loopOnLastDL :: Int -> IO ()
-    loopOnLastDL ((< nld) -> False) = return ()
+    loopOnLastDL ((<= nld + 1) -> False) = return ()
     loopOnLastDL i = do
       {-
       v <- lit2var <$> getNth vec i