From cefccc0037f18275b8d8c7e49e15d13801ef28a1 Mon Sep 17 00:00:00 2001 From: Thomas Gubler Date: Fri, 28 Nov 2014 14:18:30 +0100 Subject: re-add accidentally deleted line from commit bc4209681c39fc934defcff318221e2c17c1ddb8 --- src/platforms/px4_middleware.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src') diff --git a/src/platforms/px4_middleware.h b/src/platforms/px4_middleware.h index fa07b3766..462a06e97 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 -- cgit v1.2.3