From 59a3cf9cde522d7da61be93cc7e14d2b5caac08e Mon Sep 17 00:00:00 2001
From: Mateusz Ujma <mateusz.ujma@cs.ox.ac.uk>
Date: Fri, 9 Aug 2013 21:07:35 +0000
Subject: [PATCH] Changing visibility in ConstructModel

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7272 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/ConstructModel.java | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/prism/src/explicit/ConstructModel.java b/prism/src/explicit/ConstructModel.java
index 8f720e9f..794e2039 100644
--- a/prism/src/explicit/ConstructModel.java
+++ b/prism/src/explicit/ConstructModel.java
@@ -50,16 +50,16 @@ import simulator.SimulatorEngine;
 public class ConstructModel extends PrismComponent
 {
 	// The simulator engine
-	private SimulatorEngine engine;
+	protected SimulatorEngine engine;
 
 	// Options:
 	// Find deadlocks during model construction?
-	private boolean findDeadlocks = true;
+	protected boolean findDeadlocks = true;
 	// Automatically fix deadlocks?
-	private boolean fixDeadlocks = true;
+	protected boolean fixDeadlocks = true;
 
 	// Details of built model
-	private List<State> statesList;
+	protected List<State> statesList;
 
 	public ConstructModel(PrismComponent parent, SimulatorEngine engine) throws PrismException
 	{