diff --git a/src/smt/smt2_extra_cmds.cpp b/src/smt/smt2_extra_cmds.cpp
index 866a1178e..901810442 100644
--- a/src/smt/smt2_extra_cmds.cpp
+++ b/src/smt/smt2_extra_cmds.cpp
@@ -34,7 +34,7 @@ public:
         std::ifstream is(m_filename);
         if (is.bad() || is.fail())
             throw cmd_exception(std::string("failed to open file '") + m_filename + "'");
-        parse_smt2_commands(ctx, is, false);
+        parse_smt2_commands(ctx, is, false, params_ref(), m_filename);
         is.close();
     }
     virtual void prepare(cmd_context & ctx) { reset(ctx); }