From 205c7a18ac1f0f23c6789dc8bec1373f91a19509 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 23 Jul 2003 19:45:49 +0000
Subject: [PATCH] Fix deletes of arrays.

---
 src/baseparsuif/dependence/exact.cc | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/src/baseparsuif/dependence/exact.cc b/src/baseparsuif/dependence/exact.cc
index 189ff2c..1ff6cb6 100644
--- a/src/baseparsuif/dependence/exact.cc
+++ b/src/baseparsuif/dependence/exact.cc
@@ -764,7 +764,7 @@ answer exact::fourier(integer_matrix & input, int *done_constraint, int bb_level
             
     answer reply =  fourier(input, done_constraint, number, var_used, num_vars, bb_level);
 
-    delete var_used;
+    delete [] var_used;
     if(reply) dependency_test::reply_true++;
     return reply;
 }
@@ -810,8 +810,8 @@ answer exact::fourier(integer_matrix & input, int *done_constraint, int number,
 
             if (fnormalize(*four_constr,number,nn,v)) {
                 //                delete var_used;
-                delete first;
-                delete num2;
+                delete [] first;
+                delete [] num2;
                 return independent;
             }
 
@@ -867,8 +867,8 @@ answer exact::fourier(integer_matrix & input, int *done_constraint, int number,
                             if (null_constr) {
                                 if ((*four_constr)[number][0] < 0) {
                                     //                                    delete var_used;
-                                    delete first;
-                                    delete num2;
+                                    delete [] first;
+                                    delete [] num2;
                                     return independent;
                                 }
                             } else {
@@ -991,8 +991,8 @@ answer exact::fourier(integer_matrix & input, int *done_constraint, int number,
             fprintf(stderr,"{\n");
 #endif
             if(bb_level+1 >=  maxnumberbb) {
-                delete first;
-                delete num2;
+                delete [] first;
+                delete [] num2;
                 return unsure;
             }
             /* Do the 1st check */
@@ -1028,8 +1028,8 @@ answer exact::fourier(integer_matrix & input, int *done_constraint, int number,
                 if(DhighVal - DlowVal > DO3LIMIT) {
                     if(reply == independent) {
                         if(bb_level+2 >= maxnumberbb) {
-                            delete first;
-                            delete num2;
+                            delete [] first;
+                            delete [] num2;
                             return unsure;
                         }
              
@@ -1056,8 +1056,8 @@ answer exact::fourier(integer_matrix & input, int *done_constraint, int number,
     
     
     // free up storage
-    delete first;
-    delete num2;
+    delete [] first;
+    delete [] num2;
     
     return reply;
 }
@@ -1128,7 +1128,7 @@ void exact::elim_redundant(integer_matrix & constr, int v,int &number,int vars,
 	}
 
 	number = i2;
-	delete redun; 
+	delete [] redun; 
 }
 
 
-- 
2.11.4.GIT