From 5ad2b39317073f30bc61250705762beaa726bcea 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 3fe0c9a1..65901efb 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -2576,7 +2576,7 @@ public class PrismCL implements PrismModelListener
 	 */
 	private void exit()
 	{
-		prism.closeDown(true);
+		closeDown();
 		System.exit(0);
 	}
 
@@ -2585,7 +2585,7 @@ public class PrismCL implements PrismModelListener
 	 */
 	private void exit(int i)
 	{
-		prism.closeDown(true);
+		closeDown();
 		System.exit(i);
 	}