fix haddock submodule pointer
[ghc-hetmet.git] / simplCore / SATMonad.lhs