disable SAT for now (see #2321)
authorSimon Marlow <marlowsd@gmail.com>
Fri, 30 May 2008 11:20:43 +0000 (11:20 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Fri, 30 May 2008 11:20:43 +0000 (11:20 +0000)
commit724a9e83f9498382e3580d26a7dd7cd6b108408c
tree6d52244b9466daa67dd8af54abf3f24c8e9abc82
parent1b5161f0e4a95725544880a282963a8859cd22ee
disable SAT for now (see #2321)
compiler/main/DynFlags.hs