Code tidy

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7052 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · 5c9c158b97
1 changed files with 0 additions and 2 deletions
--- 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)