luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-10-06 10:03:36 +02:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
Include stdlib.h for `abort()`
This commit is contained in:
Martin Povišer
2024-11-20 10:19:31 +01:00
committed by GitHub
parent b89bd027a0 a750c94c38
commit 1184418cc8
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libs/ezsat/demo_cmp.cc
+1 -1
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;
}
libs/ezsat/demo_vec.cc
+1 -1
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;
}