StateValuesMTBDD.print(log): does not throw PrismException

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10451 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/StateValuesMTBDD.java

@@ -546,7 +546,7 @@ public class StateValuesMTBDD implements StateValues
 	/**
 	 * Print vector to a log/file (non-zero entries only)
 	 */
-	public void print(PrismLog log) throws PrismException
+	public void print(PrismLog log)
 	{
 		int i;