From 940bcf6dd74a15818bc88c2a183de93b7114cba5 Mon Sep 17 00:00:00 2001
From: Piotr Trojanek <ptroja@users.noreply.github.com>
Date: Sat, 24 Aug 2019 18:36:31 +0200
Subject: [PATCH] fix mismatch between "delete" and "new []" (#2795)

---
 src/theory/arith/approx_simplex.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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:
-- 
2.30.2