A few delete -> delete[] tidies.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@811 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/dd/dd_matrix.cc

@@ -249,7 +249,7 @@ long x
 	val = Cudd_V(node);
 	
 	if (inputs != NULL) {
-		delete inputs;
+		delete[] inputs;
 	}
 	
 	return val;
@@ -336,7 +336,7 @@ int num_vars
 	Cudd_RecursiveDeref(ddman, dd);
 
 	if (permut != NULL) {
-		delete permut;
+		delete[] permut;
 	}
 	
 	return res;
@@ -398,7 +398,7 @@ int accuracy
 	fprintf(dd_out, "\n");
 	
 	if (inputs != NULL) {
-		delete inputs;
+		delete[] inputs;
 	}
 }
 
@@ -468,7 +468,7 @@ int accuracy
 	}
 	
 	if (inputs != NULL) {
-		delete inputs;
+		delete[] inputs;
 	}
 }
 
@@ -535,7 +535,7 @@ int accuracy
 	fprintf(dd_out, "\n");
 	
 	if (inputs != NULL) {
-		delete inputs;
+		delete[] inputs;
 	}
 }
 

prism/src/dd/dd_vars.cc

@@ -58,7 +58,7 @@ int num_vars
 	Cudd_RecursiveDeref(ddman, dd);
 
 	if (permut != NULL) {
-		delete permut;
+		delete[] permut;
 	}
 	
 	return res;
@@ -124,8 +124,8 @@ int num_vars
 		Cudd_RecursiveDeref(ddman, x_bdd_vars[i]);
 		Cudd_RecursiveDeref(ddman, y_bdd_vars[i]);
 	}
-	delete x_bdd_vars;
-	delete y_bdd_vars;
+	delete[] x_bdd_vars;
+	delete[] y_bdd_vars;
 	
 	return res;
 }
@@ -184,8 +184,8 @@ int num_vars
 		Cudd_RecursiveDeref(ddman, x_bdd_vars[i]);
 		Cudd_RecursiveDeref(ddman, y_bdd_vars[i]);
 	}
-	delete x_bdd_vars;
-	delete y_bdd_vars;
+	delete[] x_bdd_vars;
+	delete[] y_bdd_vars;
 	
 	return res;
 }
@@ -244,8 +244,8 @@ int num_vars
 		Cudd_RecursiveDeref(ddman, x_bdd_vars[i]);
 		Cudd_RecursiveDeref(ddman, y_bdd_vars[i]);
 	}
-	delete x_bdd_vars;
-	delete y_bdd_vars;
+	delete[] x_bdd_vars;
+	delete[] y_bdd_vars;
 	
 	return res;
 }