Skip to content
Browse files

Update for new satchmo

  • Loading branch information...
1 parent 2cd49c3 commit ba24dc24a05d1c7862e6a0b53346ee89b9e82a8c @nelhage committed
Showing with 2 additions and 0 deletions.
  1. +1 −0 QR.hs
  2. +1 −0 SAT/Util.hs
View
1 QR.hs
@@ -14,6 +14,7 @@ import System.IO.Unsafe
import Satchmo.Solver.Minisat
import Satchmo.Boolean hiding (not)
import Satchmo.Code
+import Satchmo.SAT
import SAT.Util
View
1 SAT/Util.hs
@@ -7,6 +7,7 @@ import Control.Monad (liftM)
import Satchmo.Boolean
import Satchmo.Code
+import Satchmo.SAT
instance (Decode c a, Ord k) => (Decode (M.Map k c) (M.Map k a)) where
decode m = liftM M.fromList $ mapM decodeone $ M.toList m

0 comments on commit ba24dc2

Please sign in to comment.
Something went wrong with that request. Please try again.