Using stdlib.h rather than malloc.h

[snark14.git] / src / snark / read_eval_phantom1.c

diff --git a/src/snark/read_eval_phantom1.c b/src/snark/read_eval_phantom1.c
index 2abeaaf7d5931fbf1e9fac87a559f292da37a184..8f721dc1c3feb577653db95cc09b44b66255203a 100644 (file)
--- a/src/snark/read_eval_phantom1.c
+++ b/src/snark/read_eval_phantom1.c
@@ -26,7 +26,7 @@
  for each structure.
  */
 
-#include <malloc.h>
+#include <stdlib.h>
 #include "experimenter.h"
 #include "errorc.h"
 #include "read_eval_phantom1.h"