diff options
Diffstat (limited to 'src/misc/espresso/irred.c')
| -rw-r--r-- | src/misc/espresso/irred.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/misc/espresso/irred.c b/src/misc/espresso/irred.c index 384e698f..2e9f4e26 100644 --- a/src/misc/espresso/irred.c +++ b/src/misc/espresso/irred.c @@ -304,7 +304,7 @@ start: if (debug & TAUT) { printf("UNATE_REDUCTION: %d unate variables, reduced to %d\n", - cdata.vars_unate, CUBELISTSIZE(T)); + (int)cdata.vars_unate, (int)CUBELISTSIZE(T)); } goto start; @@ -430,7 +430,7 @@ start: if (debug & TAUT) { printf("UNATE_REDUCTION: %d unate variables, reduced to %d\n", - cdata.vars_unate, CUBELISTSIZE(T)); + (int)cdata.vars_unate, (int)CUBELISTSIZE(T)); } goto start; } |