disable SAT for now (see #2321)
[ghc-hetmet.git] / compiler / main / InteractiveEval.hs-boot
1 module InteractiveEval (Resume) where
2
3 data Resume