diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-11-15 02:15:22 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-11-15 02:15:22 +0000 |
| commit | 936bf9eb1881b1fb5e80fd75eb7f81c512712b83 (patch) | |
| tree | 7d3a8f0b6fd31b6b107c7b838c8402892d12b570 /test/system | |
| parent | dc0372a91ae46e6fc5ead1f51a1fe033cfd19944 (diff) | |
Fix for bug 447.
Diffstat (limited to 'test/system')
| -rw-r--r-- | test/system/boilerplate.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/system/boilerplate.cpp b/test/system/boilerplate.cpp index b4e20d063..cea610b86 100644 --- a/test/system/boilerplate.cpp +++ b/test/system/boilerplate.cpp @@ -31,6 +31,6 @@ int main() { SmtEngine smt(&em); Result r = smt.query(em.mkConst(true)); - return r == Result::VALID ? 0 : 1; + return (Result::VALID == r) ? 0 : 1; } |