Merge pull request #4739 from hzeller/feature-20241113-stdlib-for-abort

Include stdlib.h for `abort()`
YosysHQ · Nov 20, 2024 · 1184418 · 1184418
2 parents b89bd02 + a750c94
commit 1184418
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;
 }
-