diff --git a/os/pl-read.c b/os/pl-read.c index 7ccf9413f..8a9ac85e1 100644 --- a/os/pl-read.c +++ b/os/pl-read.c @@ -347,8 +347,7 @@ void Yap_setCurrentSourceLocation(IOSTREAM **s) { GET_LD - if (!*s) - *s = Suser_input; + if (*s) setCurrentSourceLocation(*s PASS_LD); } #endif