diff src/utils.h @ 4243:7e4d5b5520e5

[project @ 2002-12-27 05:30:59 by jwe]
author jwe
date Fri, 27 Dec 2002 05:30:59 +0000
parents e613ffa9f0e6
children ebc2d8e4968b
line wrap: on
line diff
--- a/src/utils.h	Thu Dec 26 22:06:30 2002 +0000
+++ b/src/utils.h	Fri Dec 27 05:30:59 2002 +0000
@@ -48,10 +48,10 @@
 extern int empty_arg (const char *name, int nr, int nc);
 
 extern std::string
-search_path_for_file (const std::string&, const std::string&);
+search_path_for_file (const std::string&, const string_vector&);
 
 extern string_vector
-search_path_for_all_files (const std::string&, const std::string&);
+search_path_for_all_files (const std::string&, const string_vector&);
 
 extern std::string file_in_path (const std::string&, const std::string&);
 extern std::string fcn_file_in_path (const std::string&);