From f9cf007f7e9a664f6367c7533b4873eef322fb64 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 17 Mar 2008 07:57:04 +0000
Subject: [PATCH] Code tidy.

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

diff --git a/prism/src/prism/ProbModelChecker.java b/prism/src/prism/ProbModelChecker.java
index 120994bd..2ebafd71 100644
--- a/prism/src/prism/ProbModelChecker.java
+++ b/prism/src/prism/ProbModelChecker.java
@@ -59,11 +59,11 @@ public class ProbModelChecker extends StateModelChecker
 
 		// Create SCCComputer object
 		sccComputer = new SCCComputer(mainLog, techLog, model);
-		bsccComp = prism.getBSCCComp();
 
 		// Inherit some options from parent Prism object.
 		// Store locally and/or pass onto engines.
 		precomp = prism.getPrecomp();
+		bsccComp = prism.getBSCCComp();
 		switch (engine) {
 		case Prism.MTBDD:
 			PrismMTBDD.setLinEqMethod(prism.getLinEqMethod());