diff options
Diffstat (limited to 'src/misc/extra/extra.h')
| -rw-r--r-- | src/misc/extra/extra.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/misc/extra/extra.h b/src/misc/extra/extra.h index e02ec82a..6336f5ea 100644 --- a/src/misc/extra/extra.h +++ b/src/misc/extra/extra.h @@ -41,6 +41,10 @@ extern "C" { /* Nested includes */ /*---------------------------------------------------------------------------*/ +// this include should be the first one in the list +// it is used to catch memory leaks on Windows +#include "leaks.h" + #include <stdio.h> #include <stdlib.h> #include <string.h> @@ -463,6 +467,7 @@ extern unsigned Extra_TruthSemiCanonicize( unsigned * pInOut, unsigned * pAux, i (obj) ? ((type *) realloc((char *) obj, sizeof(type) * (num))) : \ ((type *) malloc(sizeof(type) * (num))) + extern long Extra_CpuTime(); extern int Extra_GetSoftDataLimit(); extern void Extra_UtilGetoptReset(); |