Index: src/tests/sched-int-block.c
===================================================================
--- src/tests/sched-int-block.c	(revision f6b70e528b3fa95b2bd860c76e41a389242da285)
+++ src/tests/sched-int-block.c	(revision 736fe25eabd7a02624597f7178cf77c58348279b)
@@ -8,6 +8,4 @@
 
 enum state_t { WAITED, SIGNAL, BARGE };
-
-monitor global_t {};
 
 monitor global_data_t {