From 5688846c0efb64b80fdaae753aa25e1c1cdaf6d3 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 29 Jul 2015 10:11:40 +0000
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/prism/StateValuesMTBDD.java b/prism/src/prism/StateValuesMTBDD.java
index fd9eaf98..9765f431 100644
--- a/prism/src/prism/StateValuesMTBDD.java
+++ b/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;