Send CUDD non-zero ref warning to techLog, not stdout.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10307 bbc10eb1-c90d-0410-af57-cb519fbb1720
11 years ago · 3b3a24cfe5
1 changed files with 1 additions and 1 deletions
--- a/prism/src/dd/dd_cudd.cc
+++ b/prism/src/dd/dd_cudd.cc
@ -113,7 +113,7 @@ void DD_CloseDownCUDD(DdManager *ddman, bool check)
 			printf("\nWarning: CUDD reports an error on closing.\n");
 		}*/
 		if (Cudd_CheckZeroRef(ddman) > 0) {
-			printf("\nWarning: CUDD reports %d non-zero references.\n", Cudd_CheckZeroRef(ddman));
+			fprintf(dd_out, "\nWarning: CUDD reports %d non-zero references.\n", Cudd_CheckZeroRef(ddman));
 		}
 	}