From 1941e0f7b1db337f67e5eb0ab9f09c3488a71f0b Mon Sep 17 00:00:00 2001
From: Robert Nishihara <robertnishihara@gmail.com>
Date: Sun, 25 Jun 2017 22:54:21 -0700
Subject: [PATCH] Fix compilation on CentOS. (#699)

---
 src/local_scheduler/local_scheduler.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/local_scheduler/local_scheduler.cc b/src/local_scheduler/local_scheduler.cc
index 3f8baa009..6c4420bd9 100644
--- a/src/local_scheduler/local_scheduler.cc
+++ b/src/local_scheduler/local_scheduler.cc
@@ -1,4 +1,3 @@
-#include <inttypes.h>
 #include <signal.h>
 #include <stdio.h>
 #include <stdlib.h>