From 5964b26ca2a73c6320e5a498821d10ce660ddda1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 27 Jul 2021 09:07:34 -0700
Subject: [PATCH] err

---
 src/api/c++/z3++.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index f63590493..a14f04606 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -1880,7 +1880,7 @@ namespace z3 {
         if (a.is_int()) {
             expr zero = a.ctx().int_val(0);
 	    expr ge = a >= zero;
-            r = Z3_mk_ite(a.ctx(), ge, a, zero), a, -a);
+            r = Z3_mk_ite(a.ctx(), ge, a, -a);	    
         }
         else if (a.is_real()) {
             expr zero = a.ctx().real_val(0);