From 21488799bab3bac8bb19f78253e372e48b51f16b Mon Sep 17 00:00:00 2001 From: Masahiro Sakai Date: Mon, 25 Nov 2024 01:14:56 +0900 Subject: [PATCH] fix warnings --- src/ToySolver/Converter/SAT2MaxSAT.hs | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/ToySolver/Converter/SAT2MaxSAT.hs b/src/ToySolver/Converter/SAT2MaxSAT.hs index 6f2903b9..2accf7a8 100644 --- a/src/ToySolver/Converter/SAT2MaxSAT.hs +++ b/src/ToySolver/Converter/SAT2MaxSAT.hs @@ -43,7 +43,7 @@ module ToySolver.Converter.SAT2MaxSAT -- ** Max-2-SAT to SimpleMaxSAT2 conversion , SimpleMaxSAT2 - , SimplifyMaxSAT2Info (..) + , SimplifyMaxSAT2Info , simplifyMaxSAT2 -- ** SimpleMaxSAT2 to simple Max-Cut conversion @@ -51,9 +51,6 @@ module ToySolver.Converter.SAT2MaxSAT , simpleMaxSAT2ToSimpleMaxCut ) where -import Control.Monad -import Data.Array.MArray -import Data.Array.ST import Data.Array.Unboxed import qualified Data.IntMap as IntMap import qualified Data.IntSet as IntSet