diff --git a/src/ast/ast.h b/src/ast/ast.h
index deddd3cad..32a5c78ba 100644
--- a/src/ast/ast.h
+++ b/src/ast/ast.h
@@ -523,7 +523,7 @@ public:
 /**
    The ids of expressions and declarations are in different ranges. 
 */
-const unsigned c_first_decl_id = (1 << 31);
+const unsigned c_first_decl_id = (1u << 31u);
 
 /**
    \brief Superclass for function declarations and sorts.
diff --git a/src/muz/rel/dl_sparse_table.h b/src/muz/rel/dl_sparse_table.h
index 95dccdf89..a45f4e6c6 100644
--- a/src/muz/rel/dl_sparse_table.h
+++ b/src/muz/rel/dl_sparse_table.h
@@ -350,7 +350,7 @@ namespace datalog {
                 *ptr&=m_write_mask;
                 *ptr|=val<<m_small_offset;
             }
-            unsigned const next_ofs() const { return m_offset+m_length; }
+            unsigned next_ofs() const { return m_offset+m_length; }
         };
         class column_layout : public svector<column_info> {