diff --git a/src/base/main/mainReal.c b/src/base/main/mainReal.c
index 2fb2d95b4..be099be4b 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 */