We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents f4cb6a9 + aab593b commit 0c5a497Copy full SHA for 0c5a497
src/util/tempfile.cpp
@@ -22,6 +22,7 @@ Author: Daniel Kroening
22
#include <fcntl.h>
23
24
#include <cstdlib>
25
+#include <cstdio>
26
#include <cstring>
27
28
#if defined(__linux__) || \
@@ -31,7 +32,6 @@ Author: Daniel Kroening
31
32
defined(__CYGWIN__) || \
33
defined(__MACH__)
34
#include <unistd.h>
-#include <sys/time.h>
35
#endif
36
37
/// Substitute for mkstemps (OpenBSD standard) for Windows, where it is
@@ -133,5 +133,5 @@ std::string get_temporary_file(
133
temporary_filet::~temporary_filet()
134
{
135
if(!name.empty())
136
- unlink(name.c_str());
+ std::remove(name.c_str());
137
}
0 commit comments