Closed gabeschoenbach closed 4 years ago
this is because src/SAPPOROBDD/bddc.c is missing #include <string.h> at the top of the file, causing it to fail on line 2640.
src/SAPPOROBDD/bddc.c
#include <string.h>
Thank you. I released the fixed version as v1.4.
this is because
src/SAPPOROBDD/bddc.c
is missing#include <string.h>
at the top of the file, causing it to fail on line 2640.