From 5b625308bd1339abbf58e4247a2589ea1de1cbb7 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 9 May 2008 16:19:40 +0000
Subject: [PATCH] Tweak to DD_PrintMatrix (ACCURACY_LIST).

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

diff --git a/prism/src/dd/dd_matrix.cc b/prism/src/dd/dd_matrix.cc
index 255d9b49..9ceabc97 100644
--- a/prism/src/dd/dd_matrix.cc
+++ b/prism/src/dd/dd_matrix.cc
@@ -464,7 +464,7 @@ int accuracy
 			case ACCURACY_LIST: if (val>0) fprintf(dd_out, "%d,%d:%f ", i, j, val); break;
 			}
 		}
-		fprintf(dd_out, "\n");
+		if (accuracy != ACCURACY_LIST) fprintf(dd_out, "\n");
 	}
 	
 	if (inputs != NULL) {