From fb470a1868f3990b9c2220a0b482ee4642f1e796 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 4 Dec 2017 15:32:20 +0530
Subject: [PATCH] include path

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/file_path.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/file_path.h b/src/util/file_path.h
index 8a2d053d8..c34c8b408 100644
--- a/src/util/file_path.h
+++ b/src/util/file_path.h
@@ -18,6 +18,7 @@ Revision History:
 --*/
 #ifndef FILE_PATH_H_
 #define FILE_PATH_H_
+#include <cstring>
 
 inline char const * get_extension(char const * file_name) {
     if (file_name == 0)