Index: firmware/App/Modes/ModeFault.c
===================================================================
diff -u -r2e21405574597474db0ebae86cdd7fa2d517f71c -rbc4dcf8909e6c3fec54748ebd0cd9068e700061e
--- firmware/App/Modes/ModeFault.c	(.../ModeFault.c)	(revision 2e21405574597474db0ebae86cdd7fa2d517f71c)
+++ firmware/App/Modes/ModeFault.c	(.../ModeFault.c)	(revision bc4dcf8909e6c3fec54748ebd0cd9068e700061e)
@@ -24,6 +24,7 @@
 #include "ROPump.h"
 #include "RTC.h"
 #include "SystemCommMessages.h"
+#include "Utilities.h"
 #include "UVReactors.h"
 #include "Valves.h"
 #include "CPLD.h"
@@ -81,6 +82,7 @@
     }
 
     setCPLDCleanLEDColor( CPLD_CLEAN_LED_OFF );
+    releaseSemaphore( SEMAPHORE_RTC );
 
     return faultState;
 }