From 0b4aafb7eac2e8f8b835e2f0f12f2ff6559d8a84 Mon Sep 17 00:00:00 2001 From: Mark Kattenbelt Date: Thu, 25 Oct 2007 10:06:21 +0000 Subject: [PATCH] Fixed accidental typo in previous fix git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@474 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/simulator/GUISimulator.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java index 3a5c37a6..0e2fdef2 100644 --- a/prism/src/userinterface/simulator/GUISimulator.java +++ b/prism/src/userinterface/simulator/GUISimulator.java @@ -2713,7 +2713,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect boolean hasStates = parsedModel.getRewardStruct(r).getNumStateItems() != 0; boolean hasTrans = parsedModel.getRewardStruct(r).getNumTransItems() != 0; - boolean foundRewardr = false; + boolean foundReward = false; for (Object rewobj : rewards) {