Remove createTempFile method

[features.git] / src / support / filetools.h

diff --git a/src/support/filetools.h b/src/support/filetools.h
index 3a4c2c566d3031bd87a62517761b4b9c5d419636..6a9abc1eebe974227e197dd30d10724648402056 100644 (file)
--- a/src/support/filetools.h
+++ b/src/support/filetools.h
@@ -40,7 +40,7 @@ static std::set<std::string> tmp_names_;
 * all used temp file names.
 * If you don't have to remove the temp file manually, use TempFile instead!
 */
-FileName const tempFileName(std::string const &);
+FileName const tempFileName(std::string const &, bool const dir = false);
 
 /// Remove and unregister a temporary file.
 void removeTempFile(FileName const &);