Skip to content
Browse files

Don't normalize Choice---leads to leaks

  • Loading branch information...
1 parent b36e878 commit 43b4678a7000cea96e017eb0c9a51f55fcfb8714 @yav committed Nov 3, 2013
Showing with 1 addition and 1 deletion.
  1. +1 −1 src/Data/Integer/SAT.hs
View
2 src/Data/Integer/SAT.hs
@@ -463,7 +463,7 @@ instance Monad Answer where
instance MonadPlus Answer where
mzero = None
mplus None x = x
- mplus (Choice x y) z = mplus x (mplus y z)
+ -- mplus (Choice x y) z = mplus x (mplus y z)
mplus x y = Choice x y
instance Functor Answer where

0 comments on commit 43b4678

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