diff options
Diffstat (limited to 'src/misc/extra/extra.h')
| -rw-r--r-- | src/misc/extra/extra.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/misc/extra/extra.h b/src/misc/extra/extra.h index 6336f5ea..d404dbc6 100644 --- a/src/misc/extra/extra.h +++ b/src/misc/extra/extra.h @@ -464,9 +464,8 @@ extern unsigned Extra_TruthSemiCanonicize( unsigned * pInOut, unsigned * pAux, i #define ALLOC(type, num) ((type *) malloc(sizeof(type) * (num))) #define FREE(obj) ((obj) ? (free((char *) (obj)), (obj) = 0) : 0) #define REALLOC(type, obj, num) \ - (obj) ? ((type *) realloc((char *) obj, sizeof(type) * (num))) : \ - ((type *) malloc(sizeof(type) * (num))) - + ((obj) ? ((type *) realloc((char *)(obj), sizeof(type) * (num))) : \ + ((type *) malloc(sizeof(type) * (num)))) extern long Extra_CpuTime(); extern int Extra_GetSoftDataLimit(); |