From 5c9c158b971c10b92222208258911e40194f5bb8 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 16 Jul 2013 16:51:54 +0000
Subject: [PATCH] Code tidy

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7052 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/Prism.java | 2 --
 1 file changed, 2 deletions(-)

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 797aac0c..ef521706 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -2354,8 +2354,6 @@ public class Prism implements PrismSettingsListener
 		PrismLog tmpLog;
 		ECComputer ecComputer = null;
 		explicit.ECComputer ecComputerExpl = null;
-		//Vector<JDDNode> mecs;
-		//JDDNode mec;
 
 		// no specific states format for MRMC
 		if (exportType == EXPORT_MRMC)