From 68960327c1b95eb819b5b150c2a76c4d41ed16ee Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sat, 27 Jun 2015 15:35:57 +0000
Subject: [PATCH] State.setValue returns a copy of the object (for chaining
 purposes).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10103 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/State.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/prism/src/parser/State.java b/prism/src/parser/State.java
index 668905ec..d498962b 100644
--- a/prism/src/parser/State.java
+++ b/prism/src/parser/State.java
@@ -117,9 +117,10 @@ public class State implements Comparable<State>
 	/**
 	 * Set the {@code i}th value to {@code val}.
 	 */
-	public void setValue(int i, Object val)
+	public State setValue(int i, Object val)
 	{
 		varValues[i] = val;
+		return this;
 	}
 
 	/**