From aab593bd9156dca7b809cda041ef34028de7443f Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Wed, 20 Jun 2018 10:27:51 +0000
Subject: [PATCH] Use C++ standard library function instead of POSIX function

---
 src/util/tempfile.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/util/tempfile.cpp b/src/util/tempfile.cpp
index 2319c73fdad..c0a69ff6359 100644
--- a/src/util/tempfile.cpp
+++ b/src/util/tempfile.cpp
@@ -22,6 +22,7 @@ Author: Daniel Kroening
 #include <fcntl.h>
 
 #include <cstdlib>
+#include <cstdio>
 #include <cstring>
 
 #if defined(__linux__) || \
@@ -31,7 +32,6 @@ Author: Daniel Kroening
     defined(__CYGWIN__) || \
     defined(__MACH__)
 #include <unistd.h>
-#include <sys/time.h>
 #endif
 
 /// Substitute for mkstemps (OpenBSD standard) for Windows, where it is
@@ -133,5 +133,5 @@ std::string get_temporary_file(
 temporary_filet::~temporary_filet()
 {
   if(!name.empty())
-    unlink(name.c_str());
+    std::remove(name.c_str());
 }