From 09f85e67d0193b73b96676ddb9bb9925b4215ff6 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 23 Aug 2016 11:01:45 +0000
Subject: [PATCH] Bug fix: Do not delete PEPA file after translation
 (especially if it is not a temporary file!)

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

diff --git a/prism/src/prism/PEPA2Prism.java b/prism/src/prism/PEPA2Prism.java
index 714362f5..22705af6 100644
--- a/prism/src/prism/PEPA2Prism.java
+++ b/prism/src/prism/PEPA2Prism.java
@@ -70,16 +70,8 @@ public class PEPA2Prism extends PrismLanguageTranslator
 		try {
 			prismModelString = pepa.compiler.Main.compile("" + modelFile);
 		} catch (pepa.compiler.InternalError e) {
-			if (modelFile != null) {
-				modelFile.delete();
-				modelFile = null;
-			}
 			throw new PrismException("Could not import PEPA model:\n" + e.getMessage());
 		}
-		if (modelFile != null) {
-			modelFile.delete();
-			modelFile = null;
-		}
 		return prismModelString;
 	}