diff --git a/examples/c++/example.cpp b/examples/c++/example.cpp
index 15a37be31e3..0217c5cca1d 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";