Using stdlib.h rather than malloc.h
[snark14.git] / src / snark / analyze2.c
index 64b47aec4775183a3eb1002a5e757cfa1ba64138..d5beaeac682434ec0a68be0176cc24de75516cb9 100644 (file)
@@ -10,7 +10,7 @@
  Previously part of SuperSNARK
  */
 
-#include <malloc.h>
+#include <stdlib.h>
 #include <string.h>
 #include <strings.h>
 #include <stdio.h>