From b7a84cf48810dba07a51d586f82bae9828989c99 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 29 May 2014 00:41:26 +0000
Subject: [PATCH] Move ParamModelChecker.closeDown() somewhere more sensible.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8343 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/Prism.java   | 1 +
 prism/src/prism/PrismCL.java | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 89ecaaeb..7c9510a0 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -3428,6 +3428,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 		PrismMTBDD.closeDown();
 		PrismSparse.closeDown();
 		PrismHybrid.closeDown();
+		ParamModelChecker.closeDown();
 		// Close down CUDD/JDD
 		if (cuddStarted) {
 			JDD.CloseDownCUDD(check);
diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 1fdc475e..0e9cf767 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -893,7 +893,6 @@ public class PrismCL implements PrismModelListener
 			mainLog.println(" during computation.");
 		}
 		mainLog.println();
-		ParamModelChecker.closeDown();
 		// Close logs (in case they are files)
 		mainLog.close();
 		techLog.close();