From 8d2199e0fe5fb3928c878481b5c68580f4329003 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Tue, 22 Dec 2015 09:40:04 +0000
Subject: [PATCH] prism.StateModelChecker: initialise PrismComponent from other
 StateModelChecker constructor as well...

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

diff --git a/prism/src/prism/StateModelChecker.java b/prism/src/prism/StateModelChecker.java
index 2e43955a..5dcefb3b 100644
--- a/prism/src/prism/StateModelChecker.java
+++ b/prism/src/prism/StateModelChecker.java
@@ -133,6 +133,9 @@ public class StateModelChecker extends PrismComponent implements ModelChecker
 	 */
 	public StateModelChecker(Prism prism, VarList varList, JDDVars allDDRowVars, JDDVars[] varDDRowVars, Values constantValues) throws PrismException
 	{
+		// Initialise PrismComponent
+		super(prism);
+
 		// Initialise
 		this.prism = prism;
 		mainLog = prism.getMainLog();