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