Index: firmware/App/Drivers/PressureSensor.c
===================================================================
diff -u -r2ea913081834d23e3f84a040ea0d9d790d56da7b -r37d4284f56e175716ea13ae56c621110fa96e53c
--- firmware/App/Drivers/PressureSensor.c	(.../PressureSensor.c)	(revision 2ea913081834d23e3f84a040ea0d9d790d56da7b)
+++ firmware/App/Drivers/PressureSensor.c	(.../PressureSensor.c)	(revision 37d4284f56e175716ea13ae56c621110fa96e53c)
@@ -16,6 +16,7 @@
 ***************************************************************************/
 
 #include "FpgaTD.h"
+#include "Messaging.h"
 #include "PersistentAlarm.h"
 #include "PressureCommon.h"
 #include "PressureSensor.h"