Merge pull request diffblue#264 from diffblue/smowton/fix/slice24_include

slice24 test: switch from malloc.h to stdlib.h

Author: smowton

cbmc/regression/goto-instrument/slice24/main.c

@@ -1,5 +1,5 @@
 #include <assert.h>
-#include <malloc.h>
+#include <stdlib.h>
 
 struct rrr
 {
@@ -23,4 +23,3 @@ int main(int argc, char* argv[])
   }
   return -1;
 }
-