From 7768aa5487f357f020682b45a49b87567eb98dbb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 4 Oct 2015 10:35:48 -0700
Subject: [PATCH] compiler warning by daniel j h

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/ast.h                 | 2 +-
 src/muz/rel/dl_sparse_table.h | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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> {