From 3b3a24cfe583fd20c653f7ec651433246ff0df95 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 15 Jul 2015 21:31:13 +0000
Subject: [PATCH] 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
---
 prism/src/dd/dd_cudd.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/dd/dd_cudd.cc b/prism/src/dd/dd_cudd.cc
index 455f350b..00aad40e 100644
--- 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));
 		}
 	}