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