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

@@ -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);