Browse Source

Remove debug output

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10106 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 11 years ago
parent
commit
56f48fa2d2
  1. 1
      prism/src/explicit/ModelExplicit.java

1
prism/src/explicit/ModelExplicit.java

@ -153,7 +153,6 @@ public abstract class ModelExplicit implements Model
*/ */
public void setStatesList(List<State> statesList) public void setStatesList(List<State> statesList)
{ {
new Exception().printStackTrace();
this.statesList = statesList; this.statesList = statesList;
} }

Loading…
Cancel
Save