From 58682c20be2fb53adf5bbfb08898469dcbbb161e Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Sat, 13 Oct 2018 07:58:27 +0700
Subject: [PATCH] dl_util: Use an unsigned to match other values.

---
 src/muz/base/dl_util.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/muz/base/dl_util.h b/src/muz/base/dl_util.h
index 1a2b64dc4..c6e214f79 100644
--- a/src/muz/base/dl_util.h
+++ b/src/muz/base/dl_util.h
@@ -276,7 +276,7 @@ namespace datalog {
         }
         unsigned n = container.size();
         unsigned ofs = 1;
-        int r_i = 1;
+        unsigned r_i = 1;
         for(unsigned i=removed_cols[0]+1; i<n; i++) {
             if(r_i!=removed_col_cnt && removed_cols[r_i]==i) {
                 r_i++;