diff --git a/src/api/api_context.h b/src/api/api_context.h
index edb79b2d5..896011615 100644
--- a/src/api/api_context.h
+++ b/src/api/api_context.h
@@ -54,7 +54,7 @@ namespace api {
         datalog::dl_decl_util      m_datalog_util;
 
         // Support for old solver API
-        smt_params           m_fparams;
+        smt_params                 m_fparams;
         smt::kernel *              m_solver;     // General purpose solver for backward compatibility
         // -------------------------------
 
diff --git a/src/util/params.cpp b/src/util/params.cpp
index 0ee42868d..4aff0de92 100644
--- a/src/util/params.cpp
+++ b/src/util/params.cpp
@@ -933,3 +933,8 @@ void params::set_sym(char const * k, symbol const & v) {
     SET_SYM_VALUE();
 }
 
+#ifdef Z3DEBUG
+void pp(params_ref const & p) {
+    std::cout << p << std::endl;
+}
+#endif