Bug fix in filtered printing.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3593 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/StateModelChecker.java

@@ -1062,6 +1062,8 @@ public class StateModelChecker implements ModelChecker
 				mainLog.print("\nSatisfying states");
 				mainLog.println(filterTrue ? ":" : " that are also in filter " + filter + ":");
 				dd = vals.deepCopy().convertToStateValuesMTBDD().getJDDNode();
+				JDD.Ref(ddFilter);
+				dd = JDD.And(dd, ddFilter);
 				new StateListMTBDD(dd, model).print(mainLog);
 				JDD.Deref(dd);
 			} else {