From 3089715c808d342fae4aba3e34165b772dab688a Mon Sep 17 00:00:00 2001
From: Mateusz Ujma <mateusz.ujma@cs.ox.ac.uk>
Date: Mon, 5 Aug 2013 15:36:52 +0000
Subject: [PATCH] Changed visibility to support inheritance

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

diff --git a/prism/src/explicit/IndexedSet.java b/prism/src/explicit/IndexedSet.java
index a72336b3..57cd0362 100644
--- a/prism/src/explicit/IndexedSet.java
+++ b/prism/src/explicit/IndexedSet.java
@@ -34,8 +34,8 @@ import java.util.*;
  */
 public class IndexedSet<T> implements StateStorage<T>
 {
-	private Map<T, Integer> set;
-	private int indexOfLastAdd;
+	protected Map<T, Integer> set;
+	protected int indexOfLastAdd;
 
 	public IndexedSet()
 	{