From: Piotr Trojanek <ptroja@users.noreply.github.com>
Date: Sat, 24 Aug 2019 16:36:31 +0000 (+0200)
Subject: fix mismatch between "delete" and "new []" (#2795)
X-Git-Tag: cvc5-1.0.0~3993
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=940bcf6dd74a15818bc88c2a183de93b7114cba5;p=cvc5.git

fix mismatch between "delete" and "new []" (#2795)
---

diff --git a/src/theory/arith/approx_simplex.cpp b/src/theory/arith/approx_simplex.cpp
index e621131d5..ea349a383 100644
--- a/src/theory/arith/approx_simplex.cpp
+++ b/src/theory/arith/approx_simplex.cpp
@@ -1487,7 +1487,7 @@ static void glpkCallback(glp_tree *tree, void *info){
         RowsDeleted* rd = new RowsDeleted(exec, nrows, num);
 
         node.addCut(rd);
-        delete num;
+        delete[] num;
       }
       break;
     case GLP_ICUTADDED: