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
10 years ago · 8d2199e0fe
1 changed files with 3 additions and 0 deletions
--- 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();