From 48c6e73e2a0a5afc4bfe4b2809ee7dcb91dfb90b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 29 Aug 2014 22:13:51 +0000 Subject: [PATCH] Bugfix: release (R) temporal operator not displayed correctly (from Joachim Klein). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9154 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/parser/ast/ExpressionTemporal.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/parser/ast/ExpressionTemporal.java b/prism/src/parser/ast/ExpressionTemporal.java index e48c1cbd..909a1efe 100644 --- a/prism/src/parser/ast/ExpressionTemporal.java +++ b/prism/src/parser/ast/ExpressionTemporal.java @@ -44,7 +44,7 @@ public class ExpressionTemporal extends Expression public static final int R_F = 13; // Reachability (for R operator) public static final int R_S = 14; // Steady-state (for R operator) // Operator symbols - public static final String opSymbols[] = { "", "X", "U", "F", "G", "W", "", "", "", "", "", "C", "I", "F", "S" }; + public static final String opSymbols[] = { "", "X", "U", "F", "G", "W", "R", "", "", "", "", "C", "I", "F", "S" }; // Operator protected int op = 0;