From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 1 Jul 2014 23:09:07 +0000 (-0400)
Subject: Update portfolio_util.cpp
X-Git-Tag: cvc5-1.0.0~6705
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2700ec6ad1fd23dd4eca0e8855390930299c5d82;p=cvc5.git

Update portfolio_util.cpp
---

diff --git a/src/main/portfolio_util.cpp b/src/main/portfolio_util.cpp
index d4ef11a3a..7a4beb0d0 100644
--- a/src/main/portfolio_util.cpp
+++ b/src/main/portfolio_util.cpp
@@ -80,7 +80,7 @@ vector<Options> parseThreadSpecificOptions(Options opts)
         }
       }
       free(targv[0]);
-      delete targv;
+      delete [] targv;
       free(tbuf);
     }
   }