Merge pull request #3214 from diffblue/file_util_comments

comments on future replacements of util/file_util.h functions

Author: tautschnig

src/util/file_util.h

@@ -12,14 +12,17 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include <string>
 
+// C++17 will allow us to use std::filesystem::path::remove_all
 void delete_directory(const std::string &path);
 
+// C++17 will allow us to use std::filesystem::current_path
 std::string get_current_working_directory();
 
+// C++17 will allow us to use std::filesystem::path(dir).append(file)
 std::string concat_dir_file(const std::string &directory,
                             const std::string &file_name);
 
-// C++17 will allow us to use std::filesystem::is_directory()
+// C++17 will allow us to use std::filesystem::is_directory
 bool is_directory(const std::string &path);
 
 #endif // CPROVER_UTIL_FILE_UTIL_H