commit 891a247943072c8b2de7acbf3ef782f989a3b48e
author dvarro <dvarro@cb89c62e-7b56-0410-a920-e89e41596a17> Mon Oct 13 15:17:38 2008 +0000
committer dvarro <dvarro@cb89c62e-7b56-0410-a920-e89e41596a17> Mon Oct 13 15:17:38 2008 +0000
tree 92c751f73f8e902df099b902abe386fe793d1f07
parent c04058130c8b4f099ba3a89297bc6776d3d3e569

Problem manager bugfix.

org.eclipse.viatra2.core2/src/org/eclipse/viatra2/modelChecker/impl/ProblemManager.java

diff --git a/org.eclipse.viatra2.core2/src/org/eclipse/viatra2/modelChecker/impl/ProblemManager.java b/org.eclipse.viatra2.core2/src/org/eclipse/viatra2/modelChecker/impl/ProblemManager.java
index 71e77f3..d2be87a 100644
--- a/org.eclipse.viatra2.core2/src/org/eclipse/viatra2/modelChecker/impl/ProblemManager.java
+++ b/org.eclipse.viatra2.core2/src/org/eclipse/viatra2/modelChecker/impl/ProblemManager.java
@@ -52,7 +52,8 @@
 		//	ms.getTransactionManager().beginTransaction();
 			mc = new ModelChecker();
 			
-			if (fw.getProperties().getRuntimeProperty("Model checking", "On-the-fly model checking").equalsIgnoreCase("true"))
+			if (fw.getProperties().getRuntimeProperty("Model checking", "On-the-fly model checking")!=null &&
+					fw.getProperties().getRuntimeProperty("Model checking", "On-the-fly model checking").equalsIgnoreCase("true"))
 			{
 				pc = new ProblemCounter(mc.checkAllModelElement(ms), this);
 				cli = new ConsistencyListener(pc);