diff options
Diffstat (limited to 'src/base/main/mainUtils.c')
| -rw-r--r-- | src/base/main/mainUtils.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/main/mainUtils.c b/src/base/main/mainUtils.c index aa8b63d0..3d0bdc33 100644 --- a/src/base/main/mainUtils.c +++ b/src/base/main/mainUtils.c @@ -139,8 +139,8 @@ void Abc_UtilsSource( Abc_Frame_t * pAbc ) // If .rc is present in both the home and current directories, then read // it from the home directory. Otherwise, read it from wherever it's located. - sPath1 = util_file_search(".rc", "~/", "r"); - sPath2 = util_file_search(".rc", ".", "r"); + sPath1 = Extra_UtilFileSearch(".rc", "~/", "r"); + sPath2 = Extra_UtilFileSearch(".rc", ".", "r"); if ( sPath1 && sPath2 ) { /* ~/.rc == .rc : Source the file only once */ |