From 56f48fa2d2f013cc4032c3734ce14ce30dbd3338 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sat, 27 Jun 2015 21:32:44 +0000
Subject: [PATCH] Remove debug output

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10106 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/ModelExplicit.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/prism/src/explicit/ModelExplicit.java b/prism/src/explicit/ModelExplicit.java
index 7915e2e1..94844fe8 100644
--- a/prism/src/explicit/ModelExplicit.java
+++ b/prism/src/explicit/ModelExplicit.java
@@ -153,7 +153,6 @@ public abstract class ModelExplicit implements Model
 	 */
 	public void setStatesList(List<State> statesList)
 	{
-		new Exception().printStackTrace();
 		this.statesList = statesList;
 	}