projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 0faead1)
fix mismatch between "delete" and "new []" (#2795)
authorPiotr Trojanek <ptroja@users.noreply.github.com>
Sat, 24 Aug 2019 16:36:31 +0000 (18:36 +0200)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 24 Aug 2019 16:36:31 +0000 (11:36 -0500)
src/theory/arith/approx_simplex.cpp patch | blob | history

diff --git a/src/theory/arith/approx_simplex.cpp b/src/theory/arith/approx_simplex.cpp
index e621131d573fdf78c95be77fe9c3d603c301eb96..ea349a3831e84d593f23b974cc294ca186d6000f 100644 (file)
--- 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: