mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 03:32:28 +00:00
Code Activity

Allow printing other types than unsigned

Browse source
This commit is contained in:
Jakob Rath 2023-02-06 16:27:38 +01:00
parent d7797a53df
commit d105c1c825
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/util/vector.h
View file

@ -753,7 +753,8 @@ using bool_vector = svector<bool>;
template<typename T>
inline std::ostream& operator<<(std::ostream& out, svector<T> const& v) {
for (unsigned u : v) out << u << " ";
for (auto const& x : v)
out << x << " ";
return out;
}