io.pathnames: fix separator when appending paths in Windows

char-rename
masweeney 2016-08-23 06:40:35 -04:00 committed by John Benediktsson
parent a5c0ba98d0
commit b477c43293
1 changed files with 1 additions and 1 deletions

View File

@ -89,7 +89,7 @@ PRIVATE>
: append-relative-path ( path1 path2 -- path )
[ trim-tail-separators ]
[ trim-head-separators ] bi* "/" glue ;
[ trim-head-separators ] bi* path-separator glue ;
: append-path ( path1 path2 -- path )
{