From c2ebbc92104c2faf5aecfc030bdaccd26c23d52c Mon Sep 17 00:00:00 2001
From: Daniel Schemmel <daniel.schemmel@comsys.rwth-aachen.de>
Date: Fri, 22 Feb 2019 19:50:15 +0100
Subject: [PATCH] fix -Wsign-compare (len can never become negative anyway)

---
 src/sat/sat_drat.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat/sat_drat.cpp b/src/sat/sat_drat.cpp
index de65aca92..5de340674 100644
--- a/src/sat/sat_drat.cpp
+++ b/src/sat/sat_drat.cpp
@@ -83,7 +83,7 @@ namespace sat {
         char digits[20];     // enough for storing unsigned
         char* lastd = digits + sizeof(digits);
         
-        int len = 0;
+        unsigned len = 0;
         if (st == status::deleted) {
             buffer[0] = 'd';
             buffer[1] = ' ';