From c7c35becb29a6c798bba283b0c116a4830b05239 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 11 Sep 2014 13:18:22 -0700
Subject: [PATCH] feat(library/io_state): add default constructor to io_state

---
 src/library/io_state.cpp | 2 ++
 src/library/io_state.h   | 1 +
 2 files changed, 3 insertions(+)

diff --git a/src/library/io_state.cpp b/src/library/io_state.cpp
index bc9a85fa23..a5c8dbf238 100644
--- a/src/library/io_state.cpp
+++ b/src/library/io_state.cpp
@@ -14,6 +14,8 @@ io_state const & get_dummy_ios() {
     return g_dummy_ios;
 }
 
+io_state::io_state():io_state(mk_print_formatter_factory()) {}
+
 io_state::io_state(formatter_factory const & fmtf):
     m_formatter_factory(fmtf),
     m_regular_channel(std::make_shared<stdout_channel>()),
diff --git a/src/library/io_state.h b/src/library/io_state.h
index 6a53b4a908..9efdfa3a7c 100644
--- a/src/library/io_state.h
+++ b/src/library/io_state.h
@@ -23,6 +23,7 @@ class io_state {
     std::shared_ptr<output_channel> m_regular_channel;
     std::shared_ptr<output_channel> m_diagnostic_channel;
 public:
+    io_state();
     io_state(formatter_factory const & fmtf);
     io_state(options const & opts, formatter_factory const & fmtf);
     io_state(io_state const & ios, std::shared_ptr<output_channel> const & r, std::shared_ptr<output_channel> const d);