From 61a88f164c07a73fe64cdfe389194ffb94f74343 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 17 Apr 2020 10:16:26 -0700
Subject: Fixing broken build and compiler warnings.

---
 src/base/main/mainReal.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/main')

diff --git a/src/base/main/mainReal.c b/src/base/main/mainReal.c
index 2fb2d95b..be099be4 100644
--- a/src/base/main/mainReal.c
+++ b/src/base/main/mainReal.c
@@ -146,7 +146,7 @@ int Abc_RealMain( int argc, char * argv[] )
             case 'l': {
 #ifndef WIN32
                 rlim_t maxTime = atoi(globalUtilOptarg);           
-                printf("Limiting time to %d seconds\n", maxTime);
+                printf("Limiting time to %d seconds\n", (int)maxTime);
                 struct rlimit limit = {                         
                     maxTime,             /* soft limit */       
                     maxTime              /* hard limit */       
-- 
cgit v1.2.3