From: Tim King <taking@google.com>
Date: Thu, 10 Nov 2016 23:56:19 +0000 (-0800)
Subject: Fixing a delete vs free mismatch in parser_builder_black.h.
X-Git-Tag: cvc5-1.0.0~5989
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4ee85fbbe8f1bbc6261b804916f897b26d500fbf;p=cvc5.git

Fixing a delete vs free mismatch in parser_builder_black.h.
---

diff --git a/test/unit/parser/parser_builder_black.h b/test/unit/parser/parser_builder_black.h
index 61c426be9..f65dadf1b 100644
--- a/test/unit/parser/parser_builder_black.h
+++ b/test/unit/parser/parser_builder_black.h
@@ -99,7 +99,7 @@ public:
 
     remove(filename);
     //    mkfifo(ptr, S_IWUSR | s_IRUSR);
-    delete filename;
+    free(filename);
   }
 
   void testSimpleFileInput() {
@@ -115,7 +115,7 @@ public:
                    );
 
     remove(filename);
-    delete filename;
+    free(filename);
   }
 
   void testEmptyStringInput() {