Make reader_push accept wcstring instead of wchar_t*

This commit is contained in:
ridiculousfish
2018-08-11 12:43:11 -07:00
parent 82bff2d692
commit f7d846ad8b
3 changed files with 4 additions and 7 deletions

View File

@@ -144,7 +144,7 @@ bool reader_thread_job_is_stale();
const wchar_t *reader_readline(int nchars);
/// Push a new reader environment.
void reader_push(const wchar_t *name);
void reader_push(const wcstring &name);
/// Return to previous reader environment.
void reader_pop();