Index: AlarmDefs.h
===================================================================
diff -u -r6a2b7e815550b78f472675f1edfbef781c9ac436 -r956c5571637c15521977e438be8421deece76b6c
--- AlarmDefs.h	(.../AlarmDefs.h)	(revision 6a2b7e815550b78f472675f1edfbef781c9ac436)
+++ AlarmDefs.h	(.../AlarmDefs.h)	(revision 956c5571637c15521977e438be8421deece76b6c)
@@ -649,7 +649,7 @@
     { ALARM_PRIORITY_HIGH,   799,  FALSE, FALSE, TRUE , FALSE, FALSE, FALSE, FALSE, FALSE, TRUE , TRUE , FALSE, FALSE, ALARM_ID_CARTRIDGE_DOOR_OPENED,                            0,              ALARM_ID_NO_ALARM },
     { ALARM_PRIORITY_HIGH,   799,  FALSE, FALSE, TRUE , FALSE, FALSE, FALSE, FALSE, FALSE, TRUE , FALSE, FALSE, FALSE, ALARM_ID_HD_ACTIVE_RESERVOIR_DEPLETION_TIME_OUT,           0,              ALARM_ID_NO_ALARM },
     { ALARM_PRIORITY_HIGH,     3,  FALSE, TRUE , TRUE , TRUE , TRUE , TRUE , FALSE, FALSE, FALSE, TRUE , FALSE, FALSE, ALARM_ID_DG_DIALYSATE_FLOW_RATE_OUT_OF_MAX_RANGE,          0,              ALARM_ID_NO_ALARM },
-    { ALARM_PRIORITY_HIGH,   799,  FALSE, FALSE, TRUE , TRUE , FALSE, FALSE, FALSE, FALSE, TRUE , FALSE, FALSE, FALSE, ALARM_ID_HD_SYRINGE_PUMP_SYRINGE_EMPTY,                    0,              ALARM_ID_NO_ALARM },
+    { ALARM_PRIORITY_HIGH,   799,  FALSE, FALSE, FALSE, TRUE , FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, ALARM_ID_HD_SYRINGE_PUMP_SYRINGE_EMPTY,                    0,              ALARM_ID_NO_ALARM },
     { ALARM_PRIORITY_HIGH,   799,  FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, TRUE , TRUE , FALSE, FALSE, ALARM_ID_HD_SYRINGE_PUMP_OCCLUSION,                        0,              ALARM_ID_NO_ALARM },
     { ALARM_PRIORITY_HIGH,   799,  FALSE, FALSE, TRUE , FALSE, FALSE, FALSE, TRUE , FALSE, TRUE , TRUE , FALSE, FALSE, ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM,         0,              ALARM_ID_NO_ALARM },
     { ALARM_PRIORITY_HIGH,     3,  TRUE , FALSE, TRUE , TRUE , TRUE , TRUE , TRUE , TRUE , TRUE , TRUE , FALSE, FALSE, ALARM_ID_HD_RTC_CONFIG_ERROR,                              0,              ALARM_ID_NO_ALARM },