sparse/hybrid stochastic: fix delete call in error case

Consistently use delete[] for sum arrays (only hit in error case).

prism/src/hybrid/PH_StochBoundedUntil.cc

@@ -313,7 +313,7 @@ jlong __jlongpointer mu	// probs for multiplying
 		sum = 0;
 	} catch (const char *err) {
 		PH_SetErrorMessage("%s", err);
-		if (sum) delete sum;
+		if (sum) delete[] sum;
 		sum = 0;
 	}
 	

prism/src/hybrid/PH_StochCumulReward.cc

@@ -326,7 +326,7 @@ jdouble time		// time bound
 		sum = 0;
 	} catch (const char *err) {
 		PH_SetErrorMessage("%s", err);
-		if (sum) delete sum;
+		if (sum) delete[] sum;
 		sum = 0;
 	}
 	

prism/src/hybrid/PH_StochTransient.cc

@@ -294,7 +294,7 @@ jdouble time		// time bound
 		sum = 0;
 	} catch (const char *err) {
 		PH_SetErrorMessage("%s", err);
-		if (sum) delete sum;
+		if (sum) delete[] sum;
 		sum = 0;
 	}
 	

prism/src/sparse/PS_StochBoundedUntil.cc

@@ -335,11 +335,11 @@ jlong __jlongpointer mu	// probs for multiplying
 	// catch exceptions: register error, free memory
 	} catch (std::bad_alloc e) {
 		PS_SetErrorMessage("Out of memory");
-		if (sum) delete sum;
+		if (sum) delete[] sum;
 		sum = 0;
 	} catch (const char *err) {
 		PS_SetErrorMessage("%s", err);
-		if (sum) delete sum;
+		if (sum) delete[] sum;
 		sum = 0;
 	}
 	

prism/src/sparse/PS_StochCumulReward.cc

@@ -351,7 +351,7 @@ jdouble time		// time bound
 		sum = 0;
 	} catch (const char *err) {
 		PS_SetErrorMessage("%s", err);
-		if (sum) delete sum;
+		if (sum) delete[] sum;
 		sum = 0;
 	}
 	

prism/src/sparse/PS_StochTransient.cc

@@ -318,7 +318,7 @@ jdouble time		// time bound
 		sum = 0;
 	} catch (const char *err) {
 		PS_SetErrorMessage("%s", err);
-		if (sum) delete sum;
+		if (sum) delete[] sum;
 		sum = 0;
 	}