From: Simon Marlow <marlowsd@gmail.com>
Date: Fri, 30 May 2008 11:20:43 +0000 (+0000)
Subject: disable SAT for now (see #2321)
X-Git-Tag: 2008-06-01~2
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=724a9e83f9498382e3580d26a7dd7cd6b108408c;hp=724a9e83f9498382e3580d26a7dd7cd6b108408c;p=ghc-hetmet.git

disable SAT for now (see #2321)
---