From 07b5a63a757e57cdd19b5ac9111253598b1d1124 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 17 Dec 2009 10:27:58 +0000
Subject: [PATCH] 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 | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/prism/src/prism/StateProbsDV.java b/prism/src/prism/StateProbsDV.java
index e44f3705..8b9a9dfd 100644
--- a/prism/src/prism/StateProbsDV.java
+++ b/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);