From dd697d13431da05f4156c2f50aea6c91e6185301 Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lm@inf.ethz.ch>
Date: Wed, 16 Sep 2015 18:12:05 +0200
Subject: [PATCH] GPS: Remove unused header

---
 src/drivers/gps/gps.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/drivers/gps/gps.cpp b/src/drivers/gps/gps.cpp
index 41947f27e7..6c4b4eab7a 100644
--- a/src/drivers/gps/gps.cpp
+++ b/src/drivers/gps/gps.cpp
@@ -42,7 +42,6 @@
 #include <stdio.h>
 #include <stdbool.h>
 #include <stdlib.h>
-#include <semaphore.h>
 #include <string.h>
 #include <fcntl.h>
 #include <poll.h>