diff --git a/libsel4/include/sel4/shared_types.h b/libsel4/include/sel4/shared_types.h
index ab2b5d359..e5214b796 100644
--- a/libsel4/include/sel4/shared_types.h
+++ b/libsel4/include/sel4/shared_types.h
@@ -40,6 +40,6 @@ enum {
 #define seL4_CanRead   seL4_CapRights_new(0, 1, 0)
 #define seL4_CanWrite  seL4_CapRights_new(0, 0, 1)
 #define seL4_CanGrant  seL4_CapRights_new(1, 0, 0)
-#define seL4_NoWrite   seL4_CapRights_new(1, 1, 0);
+#define seL4_NoWrite   seL4_CapRights_new(1, 1, 0)
 
 #endif