diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-26 16:36:29 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-26 16:36:29 -0500 |
| commit | 04f12ad8b6f94d952b54f433bbf32eaa481d006b (patch) | |
| tree | 873807058ab62ab71494ed2737207dfcc4777c6b /src/bindings | |
| parent | 6b120f130cb41f45151b9418a679850775a16ef7 (diff) | |
Fix Java output stream adapter.
Diffstat (limited to 'src/bindings')
| -rw-r--r-- | src/bindings/java_stream_adapters.h | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/src/bindings/java_stream_adapters.h b/src/bindings/java_stream_adapters.h index eefb31e6d..f3546613c 100644 --- a/src/bindings/java_stream_adapters.h +++ b/src/bindings/java_stream_adapters.h @@ -42,14 +42,9 @@ namespace CVC4 { -class JavaOutputStreamAdapter { - std::stringstream d_ss; - +class JavaOutputStreamAdapter : public std::ostringstream { public: - JavaOutputStreamAdapter() { } - - std::string toString() { return d_ss.str(); } - + std::string toString() { return str(); } };/* class JavaOutputStreamAdapter */ class JavaInputStreamAdapter : public std::stringstream { |