1 files changed, 2 insertions, 0 deletions
diff --git a/config.h b/config.h
index 44a24976..4c6b2ced 100644
--- a/config.h
+++ b/config.h
@@ -117,6 +117,8 @@ void option_help(std::ostream& out);
 
 #define OPT_END(tag)
 
+std::string resolve_path(const std::string& path);
+
 //////////////////////////////////////////////////////////////////////
 
 void trace(const std::string& cat, const std::string& str);