From 3ffc93f9b2157e3b23a661eba8c0405c916c6a90 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Fri, 14 Oct 2016 10:38:43 +0200
Subject: [PATCH] label

Former-commit-id: 88b6ce4560639a8bb7b117d27a59bee031a29c7e [formerly d698b1b83c6e5ac662f30f8a142c57a5c423338f]
Former-commit-id: c1193042433bede64afe205c99f08de8b22f93b5
---
 examples/pmdp/brp/brp.pm | 1 +
 1 file changed, 1 insertion(+)

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;