From c076b3e00561ec572522446c5e0ba9e64e397202 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Tue, 30 Aug 2016 11:29:44 +0000
Subject: [PATCH] =?UTF-8?q?explicit.ModelTransformation:=20remove=20unnece?=
 =?UTF-8?q?ssary=20Exception=20[from=20Steffen=20M=C3=A4rcker]?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11753 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/ModelTransformation.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/explicit/ModelTransformation.java b/prism/src/explicit/ModelTransformation.java
index 4500f362..4e25535b 100644
--- a/prism/src/explicit/ModelTransformation.java
+++ b/prism/src/explicit/ModelTransformation.java
@@ -37,7 +37,7 @@ public interface ModelTransformation<OriginalModel extends Model, TransformedMod
 	public OriginalModel getOriginalModel();
 
 	/** Get the transformed model. */
-	public TransformedModel getTransformedModel() throws PrismException;
+	public TransformedModel getTransformedModel();
 
 	/**
 	 * Take a {@code StateValues} object for the transformed model and