Tweak to DD_PrintMatrix (ACCURACY_LIST).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@787 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · 5b625308bd
1 changed files with 1 additions and 1 deletions
--- 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) {