From bfecd70db9b3ecfbfeeac327d801e9d11f43aa51 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 9 Aug 2015 23:09:57 +0000
Subject: [PATCH] Small code fix in DD_MatrixMultiply.

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

diff --git a/prism/src/dd/dd_matrix.cc b/prism/src/dd/dd_matrix.cc
index 117afee0..37867ed3 100644
--- a/prism/src/dd/dd_matrix.cc
+++ b/prism/src/dd/dd_matrix.cc
@@ -328,13 +328,9 @@ int method
 	if (method == MM_CMU) {
 		res = Cudd_addTimesPlus(ddman, dd1, dd2, vars, num_vars);
 	}
-	else if (method == MM_BOULDER) {
+	else { // (method == MM_BOULDER)
 		res = Cudd_addMatrixMultiply(ddman, dd1, dd2, vars, num_vars);
 	}
-	else {
-		printf("Error: no multiplication algorithm specified\n");
-		exit(1);
-	}
 	if (res == NULL) {
 		printf("DD_MatrixMultiply: res is NULL\n");
 		exit(1);