From fcbbf7ba76ba02fd4e71ce23d8e08af8841ecd1c Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Fri, 17 Jun 2022 16:43:34 +0100
Subject: [PATCH] fix build warning+error in c++ example

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

diff --git a/examples/c++/example.cpp b/examples/c++/example.cpp
index 15a37be31..0217c5cca 100644
--- a/examples/c++/example.cpp
+++ b/examples/c++/example.cpp
@@ -4,6 +4,7 @@ Copyright (c) 2015 Microsoft Corporation
 
 --*/
 
+#include <iostream>
 #include<vector>
 #include"z3++.h"
 
@@ -737,7 +738,7 @@ void tactic_example8() {
     try {
         t(g);
     }
-    catch (exception) {
+    catch (exception&) {
         std::cout << "tactic failed...\n";
     }
     std::cout << "trying again...\n";