From 4766932648313513948e689567a821c75c8dcca5 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 12 Oct 2018 14:24:31 +0200
Subject: [PATCH] imported patch PrismCL-call-closedown-on-exit.patch

---
 prism/src/prism/PrismCL.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 23d47aa8..30d24492 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -2638,7 +2638,7 @@ public class PrismCL implements PrismModelListener
 	 */
 	private void exit()
 	{
-		prism.closeDown(true);
+		closeDown();
 		System.exit(0);
 	}
 
@@ -2647,7 +2647,7 @@ public class PrismCL implements PrismModelListener
 	 */
 	private void exit(int i)
 	{
-		prism.closeDown(true);
+		closeDown();
 		System.exit(i);
 	}