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;
 	}