From 8c191781e70332cb399a07960567eb1bd841368f Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Wed, 22 Jun 2016 18:52:30 +0100
Subject: [PATCH] Fixed warning message

---
 examples/c++/example.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/c++/example.cpp b/examples/c++/example.cpp
index 5635e6d12..2753e1475 100644
--- a/examples/c++/example.cpp
+++ b/examples/c++/example.cpp
@@ -23,7 +23,7 @@ void demorgan() {
 
     expr x = c.bool_const("x");
     expr y = c.bool_const("y");
-    expr conjecture = !(x && y) == (!x || !y);
+    expr conjecture = (!(x && y)) == (!x || !y);
     
     solver s(c);
     // adding the negation of the conjecture as a constraint.