1 files changed, 2 insertions, 1 deletions
diff --git a/util.h b/util.h
index 24845545..1252d559 100644
--- a/util.h
+++ b/util.h
@@ -8,7 +8,8 @@
 const char *get_home_directory(void);
 size_t get_file_size(const std::string &path);
 bool file_exists (const std::string &path);
-int copy_file(const char *src, const char *dest);
+bool copy_file(const std::string& src, const std::string& dest,
+               bool verbose=false);
 int create_dir(const char *dir);
 int remove_file_or_dir(const char *dir);
 void tokenize(const std::string& str, std::vector<std::string>& tokens,