From 3ebcdd4133514c19e465c19ecd7a4704f60a0923 Mon Sep 17 00:00:00 2001
From: Pascal Massimino <pascal.massimino@gmail.com>
Date: Tue, 11 Aug 2015 01:54:39 +0000
Subject: [PATCH] remove duplicate "#include <stdlib.h>"

Change-Id: I01b23efb1229e7dd96c6e15c4385064ad10a575a
---
 src/utils/utils.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/utils/utils.c b/src/utils/utils.c
index 62e0745b..735bf3f6 100644
--- a/src/utils/utils.c
+++ b/src/utils/utils.c
@@ -48,7 +48,6 @@
 #if defined(PRINT_MEM_INFO)
 
 #include <stdio.h>
-#include <stdlib.h>  // for abort()
 
 static int num_malloc_calls = 0;
 static int num_calloc_calls = 0;