diff --git a/src/parsers/smt2/smt2parser.cpp b/src/parsers/smt2/smt2parser.cpp
index 4bf8dab4e..08bb6bbee 100644
--- a/src/parsers/smt2/smt2parser.cpp
+++ b/src/parsers/smt2/smt2parser.cpp
@@ -620,8 +620,8 @@ namespace smt2 {
             int idx = 0;
             if (d == 0) {
                 if (m_dt_name2idx.find(id, idx)) {
-                    unsigned num_params = m_dt_name2arity.find(id);
                     throw parser_exception("smtlib 2.6 parametric datatype sorts are not supported");
+                    // unsigned num_params = m_dt_name2arity.find(id);
                     // d = pm().mk_psort_dt_decl(num_params, id);
                 }
                 else {
diff --git a/src/util/lp/static_matrix_instances.cpp b/src/util/lp/static_matrix_instances.cpp
index d0e2045c0..ef4374a50 100644
--- a/src/util/lp/static_matrix_instances.cpp
+++ b/src/util/lp/static_matrix_instances.cpp
@@ -2,10 +2,10 @@
   Copyright (c) 2017 Microsoft Corporation
   Author: Lev Nachmanson
 */
-#include "util/vector.h"
 #include <memory>
 #include <set>
 #include <utility>
+#include "util/vector.h"
 #include "util/lp/static_matrix.hpp"
 #include "util/lp/lp_core_solver_base.h"
 #include "util/lp/lp_dual_core_solver.h"