From 936bf9eb1881b1fb5e80fd75eb7f81c512712b83 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Thu, 15 Nov 2012 02:15:22 +0000
Subject: Fix for bug 447.

---
 test/system/boilerplate.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test')

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;
 }
 
-- 
cgit v1.2.3