From: Tim King 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() {