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