diff --git a/src/shell/smtlib_frontend.cpp b/src/shell/smtlib_frontend.cpp
index 7218558fa..0f156bced 100644
--- a/src/shell/smtlib_frontend.cpp
+++ b/src/shell/smtlib_frontend.cpp
@@ -73,7 +73,6 @@ unsigned read_smtlib2_commands(char const * file_name) {
     cmd_context ctx;
 
     ctx.set_solver_factory(mk_smt_strategic_solver_factory());
-    ctx.set_interpolating_solver_factory(mk_smt_solver_factory());
 
     install_dl_cmds(ctx);
     install_dbg_cmds(ctx);
diff --git a/src/util/ema.h b/src/util/ema.h
index 5a32e021c..7391d8ea0 100644
--- a/src/util/ema.h
+++ b/src/util/ema.h
@@ -51,6 +51,10 @@ class ema {
         m_beta *= 0.5;
         if (m_beta < m_alpha) m_beta = m_alpha;        
     }
+
+    void set(double x) {
+        m_value = x;
+    }
 };
 
 #endif