Include stdlib.h for abort()

YosysHQ · Nov 13, 2024 · a750c94 · a750c94
1 parent a4ad7cb
commit a750c94
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/libs/ezsat/demo_cmp.cc b/libs/ezsat/demo_cmp.cc
@@ -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;
 }
-
diff --git a/libs/ezsat/demo_vec.cc b/libs/ezsat/demo_vec.cc
@@ -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;
 }
-