From 273ed92831024358494e12464016bdc2e8d2f3a8 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sat, 15 Feb 2020 23:50:08 +0000
Subject: [PATCH] Matching ModulesFileModelGenerator and
 ModulesFileModelGeneratorSymbolic.

---
 .../simulator/ModulesFileModelGeneratorSymbolic.java | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/prism/src/simulator/ModulesFileModelGeneratorSymbolic.java b/prism/src/simulator/ModulesFileModelGeneratorSymbolic.java
index b2c37388..83b914c6 100644
--- a/prism/src/simulator/ModulesFileModelGeneratorSymbolic.java
+++ b/prism/src/simulator/ModulesFileModelGeneratorSymbolic.java
@@ -204,6 +204,12 @@ public class ModulesFileModelGeneratorSymbolic implements ModelGeneratorSymbolic
 		return labelList.size();	
 	}
 
+	@Override
+	public String getActionStringDescription()
+	{
+		return "Module/[action]";
+	}
+	
 	@Override
 	public List<String> getLabelNames()
 	{
@@ -365,12 +371,6 @@ public class ModulesFileModelGeneratorSymbolic implements ModelGeneratorSymbolic
 		}
 	}
 	
-	@Override
-	public String getActionStringDescription()
-	{
-		return "Module/[action]";
-	}
-	
 	@Override
 	public double getTransitionProbability(int i, int offset) throws PrismException
 	{