From cefccc0037f18275b8d8c7e49e15d13801ef28a1 Mon Sep 17 00:00:00 2001
From: Thomas Gubler <thomasgubler@gmail.com>
Date: Fri, 28 Nov 2014 14:18:30 +0100
Subject: [PATCH] re-add accidentally deleted line from commit
 bc4209681c39fc934defcff318221e2c17c1ddb8

---
 src/platforms/px4_middleware.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/platforms/px4_middleware.h b/src/platforms/px4_middleware.h
index fa07b37666..462a06e97a 100644
--- a/src/platforms/px4_middleware.h
+++ b/src/platforms/px4_middleware.h
@@ -65,3 +65,5 @@ private:
 };
 
 extern bool task_should_exit;
+
+} // namespace px4