From 5249085e114ddad2c62130bd6c07cd5d2a0115f3 Mon Sep 17 00:00:00 2001
From: Ahmed Abdellah <ahmedabdellah@fb.com>
Date: Thu, 24 Oct 2019 20:54:40 +0100
Subject: [PATCH] fixing free const char** filenamesTable

---
 programs/util.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/programs/util.c b/programs/util.c
index 1a2029826..d86b7c223 100644
--- a/programs/util.c
+++ b/programs/util.c
@@ -305,7 +305,7 @@ UTIL_createFileNamesTable(const char** filenames, char* buf, size_t tableSize){
 void UTIL_freeFileNamesTable(FileNamesTable* table) {
   if(table) {
     if(table->fileNames) {
-      free(table->fileNames);
+      free((void*)table->fileNames);
     }
 
     if(table && table->buf) {