Index: results/cppcheck.log
===================================================================
diff -u -r5cfa1f3d17db625f92f046868812717e3f1f51c3 -r1e2b6058e98720e8e13d452f031af2833fcf44a5
--- results/cppcheck.log	(.../cppcheck.log)	(revision 5cfa1f3d17db625f92f046868812717e3f1f51c3)
+++ results/cppcheck.log	(.../cppcheck.log)	(revision 1e2b6058e98720e8e13d452f031af2833fcf44a5)
@@ -137,6 +137,7 @@
 Checking dgfirmware/firmware/FWCommon/RTC.c: _VECTORCAST_...
 41/45 files checked 89% done
 Checking dgfirmware/firmware/FWCommon/Timers.c ...
+Checking dgfirmware/firmware/FWCommon/Timers.c: _DG_...
 Checking dgfirmware/firmware/FWCommon/Timers.c: _VECTORCAST_...
 42/45 files checked 91% done
 Checking dgfirmware/firmware/FWCommon/Utilities.c ...