diff options
Diffstat (limited to 'src/interp/database.boot')
| -rw-r--r-- | src/interp/database.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index 9343bb32..be21edfe 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -831,7 +831,7 @@ printAllInitdbInfo(srcdir,dbfile) == prettyPrint(['IN_-PACKAGE,'"BOOT"],out) writeNewline out for path in paths repeat - printInitdbInfo(NAMESTRING path,out) + printInitdbInfo(filePathString path,out) finally closeStream out --% |