removed unused constant

11 months ago · 6bd79abfd6
1 changed files with 0 additions and 2 deletions
--- a/msg_delivery.prism
+++ b/msg_delivery.prism
@ -3,8 +3,6 @@ dtmc
 label "success" = delivered=1;
 label "lost" = lost=1;

-const int MAX_COUNT;
-
 module msg_delivery
    start: [0..1] init 1;
    try: [0..1] init 0;