diff --git a/prism/src/dd/dd_matrix.cc b/prism/src/dd/dd_matrix.cc
index 9ceabc97..2721e4a7 100644
--- a/prism/src/dd/dd_matrix.cc
+++ b/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;
 	}
 }
 
diff --git a/prism/src/dd/dd_vars.cc b/prism/src/dd/dd_vars.cc
index 398b45e0..fecfe9b8 100644
--- a/prism/src/dd/dd_vars.cc
+++ b/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;
 }