Bugfix: Filtered printing of StateProbDVs.

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

prism/src/prism/StateProbsDV.java

@@ -480,6 +480,10 @@ public void print(PrismLog log, boolean printSparse, boolean printMatlab, boolea
 	private void printLine(int n, double d)
 	{
 		int i, j;
+		// increment counter (used in printFiltered)
+		if (d > 0)
+			counter++;
+		// do printing
 		if (!printSparse || d != 0) {
 			if (printSparse)
 				outputLog.print(printMatlab ? "v(" + (n + 1) + ")" : n);