--- ./libipmimonitoring/ipmi_monitoring.h.in.orig	2013-06-26 09:01:19.775134921 +0200
+++ ./libipmimonitoring/ipmi_monitoring.h.in	2013-06-26 09:01:37.135136232 +0200
@@ -160,7 +160,7 @@
     IPMI_MONITORING_SENSOR_TYPE_OEM_MIN                             = 0xC0,
     IPMI_MONITORING_SENSOR_TYPE_OEM_MAX                             = 0xFF,
     IPMI_MONITORING_SENSOR_TYPE_UNKNOWN                             = 0xFFFF,
-  } ipmi_monitoring_sensor_type_t;
+  };
 
 enum ipmi_monitoring_sel_event_direction
   {