diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index a255c2d97..6f745d620 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -1305,7 +1305,7 @@ namespace z3 {
         expr as_expr() const {
             unsigned n = size();
             if (n == 0) 
-                return ctx().bool_val(false);
+                return ctx().bool_val(true);
             else if (n == 1)
                 return operator[](0);
             else {