From 4258503c80ff1fcd03c81e2122cb00bb579ac5f5 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 9 Aug 2015 23:11:29 +0000
Subject: [PATCH] Make DD_MatrixMultiply deal with memout in the same was other
 DD functions.

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

diff --git a/prism/src/dd/dd_matrix.cc b/prism/src/dd/dd_matrix.cc
index 37867ed3..06f4f2e7 100644
--- a/prism/src/dd/dd_matrix.cc
+++ b/prism/src/dd/dd_matrix.cc
@@ -331,10 +331,7 @@ int method
 	else { // (method == MM_BOULDER)
 		res = Cudd_addMatrixMultiply(ddman, dd1, dd2, vars, num_vars);
 	}
-	if (res == NULL) {
-		printf("DD_MatrixMultiply: res is NULL\n");
-		exit(1);
-	}
+	if (res == NULL) return NULL;
 	Cudd_Ref(res);
 	Cudd_RecursiveDeref(ddman, dd1);
 	Cudd_RecursiveDeref(ddman, dd2);