From da0855d97d2527ce7e346783326b32a43cf84554 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 30 Jan 2012 22:33:05 +0000
Subject: [PATCH] Bug fix: deepCopy of SystemParallel doesn't copy actions -
 also means actions get lost in digital clocks translation (bug found by Arnd
 on BRP PTA).

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

diff --git a/prism/src/parser/ast/SystemParallel.java b/prism/src/parser/ast/SystemParallel.java
index 6e0dae2c..7dae8c28 100644
--- a/prism/src/parser/ast/SystemParallel.java
+++ b/prism/src/parser/ast/SystemParallel.java
@@ -156,11 +156,13 @@ public class SystemParallel extends SystemDefn
 	/**
 	 * Perform a deep copy.
 	 */
+	@SuppressWarnings("unchecked")
 	public SystemDefn deepCopy()
 	{
 		SystemParallel ret = new SystemParallel();
 		ret.setOperand1(getOperand1().deepCopy());
 		ret.setOperand2(getOperand2().deepCopy());
+		ret.actions = (actions == null) ? null : (Vector<String>)actions.clone();
 		ret.setPosition(this);
 		return ret;
 	}