fix build warning+error in c++ example

Z3Prover · Jun 17, 2022 · fcbbf7b · fcbbf7b
1 parent d9fcfda
commit fcbbf7b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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";