Include stdlib.h for `abort()`

This commit is contained in:
Henner Zeller 2024-11-13 13:05:01 -08:00
parent a4ad7cb81a
commit a750c94c38
2 changed files with 2 additions and 2 deletions

View File

@ -19,6 +19,7 @@
#include "ezminisat.h"
#include <assert.h>
#include <stdlib.h>
#define INIT_X 123456789
#define INIT_Y 362436069
@ -143,4 +144,3 @@ int main()
}
return 0;
}

View File

@ -19,6 +19,7 @@
#include "ezminisat.h"
#include <assert.h>
#include <stdlib.h>
#define INIT_X 123456789
#define INIT_Y 362436069
@ -109,4 +110,3 @@ int main()
return 0;
}