diff --git a/examples/pmdp/brp/brp.pm b/examples/pmdp/brp/brp.pm
index 2722cb0ee..a195980bf 100644
--- a/examples/pmdp/brp/brp.pm
+++ b/examples/pmdp/brp/brp.pm
@@ -137,3 +137,4 @@ module	channelL
 endmodule
 
 
+label "fatal" = s=5 & T;