mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

fix build warning+error in c++ example

Browse source
This commit is contained in:
Nuno Lopes 2022-06-17 16:43:34 +01:00
parent d9fcfdab34
commit fcbbf7ba76
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
examples/c++/example.cpp
View file

@ -4,6 +4,7 @@ Copyright (c) 2015 Microsoft Corporation
--*/ --*/
#include <iostream>
#include<vector> #include<vector>
#include"z3++.h" #include"z3++.h"
@ -737,7 +738,7 @@ void tactic_example8() {
try { try {
t(g); t(g);
} }
catch (exception) { catch (exception&) {
std::cout << "tactic failed...\n"; std::cout << "tactic failed...\n";
} }
std::cout << "trying again...\n"; std::cout << "trying again...\n";