From 8658e4d1267969a49523a120a28ced82b2ffe3f7 Mon Sep 17 00:00:00 2001
From: Mateusz Ujma <mateusz.ujma@cs.ox.ac.uk>
Date: Thu, 8 Aug 2013 22:50:23 +0000
Subject: [PATCH] Fixed bug with IndexedSet default constructor not
 initializing data structures

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

diff --git a/prism/src/explicit/IndexedSet.java b/prism/src/explicit/IndexedSet.java
index 57cd0362..373b36e7 100644
--- a/prism/src/explicit/IndexedSet.java
+++ b/prism/src/explicit/IndexedSet.java
@@ -39,18 +39,18 @@ public class IndexedSet<T> implements StateStorage<T>
 
 	public IndexedSet()
 	{
-		indexOfLastAdd = -1;
+		this(false);
 	}
 
 	public IndexedSet(boolean sorted)
 	{
-		this();
+		indexOfLastAdd = -1;
 		set = sorted ? new TreeMap<T, Integer>() : new HashMap<T, Integer>();
 	}
 	
 	public IndexedSet(Comparator<T> comparator)
 	{
-		this();
+		indexOfLastAdd = -1;
 		set = new TreeMap<T, Integer>(comparator);
 	}