From 6835522a7f4b6b28e2b83410460de9f7cab4fb44 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Thu, 4 Aug 2022 23:49:39 +0700
Subject: [PATCH] z3++.h: No longer include unused sstream.

This makes some code using the C++ API have to include `<sstream>`
if they used the functionality but didn't include it themselves.
---
 RELEASE_NOTES.md         | 1 +
 examples/c++/example.cpp | 1 +
 examples/tptp/tptp5.cpp  | 1 +
 src/api/c++/z3++.h       | 1 -
 src/api/julia/z3jl.cpp   | 1 +
 5 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index a2c1dc84d..5a7afc02d 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -13,6 +13,7 @@ Version 4.next
 Version 4.11.0
 ==============
 - remove `Z3_bool`, `Z3_TRUE`, `Z3_FALSE` from the API. Use `bool`, `true`, `false` instead.
+- z3++.h no longer includes `<sstream>` as it did not use it.
 
 Version 4.10.2
 ==============
diff --git a/examples/c++/example.cpp b/examples/c++/example.cpp
index eb6d2c19b..06f3ffe3e 100644
--- a/examples/c++/example.cpp
+++ b/examples/c++/example.cpp
@@ -5,6 +5,7 @@ Copyright (c) 2015 Microsoft Corporation
 --*/
 
 #include <iostream>
+#include <sstream>
 #include<vector>
 #include"z3++.h"
 
diff --git a/examples/tptp/tptp5.cpp b/examples/tptp/tptp5.cpp
index fac922db8..4f1d25aa9 100644
--- a/examples/tptp/tptp5.cpp
+++ b/examples/tptp/tptp5.cpp
@@ -15,6 +15,7 @@ Copyright (c) 2015 Microsoft Corporation
 #include <iostream>
 #include <fstream>
 #include <limits>
+#include <sstream>
 #include <string.h>
 #include <cstdlib>
 #include "z3++.h"
diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index 2731d6d27..4012c00d4 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -23,7 +23,6 @@ Notes:
 #include<cassert>
 #include<ostream>
 #include<string>
-#include<sstream>
 #include<memory>
 #include<vector>
 #include<z3.h>
diff --git a/src/api/julia/z3jl.cpp b/src/api/julia/z3jl.cpp
index 73e4356b2..755911f6c 100644
--- a/src/api/julia/z3jl.cpp
+++ b/src/api/julia/z3jl.cpp
@@ -1,4 +1,5 @@
 #include "jlcxx/jlcxx.hpp"
+#include <sstream>
 #include "z3++.h"
 
 using namespace z3;