diff --git a/src/muz_qe/rel_context.cpp b/src/muz_qe/rel_context.cpp
index 7ad91ecb6..63e8ba700 100644
--- a/src/muz_qe/rel_context.cpp
+++ b/src/muz_qe/rel_context.cpp
@@ -131,7 +131,8 @@ namespace datalog {
             if (m_context.get_params().dump_aig().size()) {
                 const char *filename = static_cast<const char*>(m_context.get_params().dump_aig().c_ptr());
                 aig_exporter aig(m_context.get_rules(), get_context(), &m_table_facts);
-                aig(std::ofstream(filename, std::ios_base::binary));
+                std::ofstream strm(filename, std::ios_base::binary);
+                aig(strm);
                 exit(0);
             }