Fixing broken build and compiler warnings.

61a88f16 · Alan Mishchenko · 203a7d6a · 61a88f16
Commit 61a88f16 authored Apr 17, 2020 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/base/main/mainReal.c
+1 -1

No files found.
--- 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 */