fix source_location

This commit is contained in:
Vítor Santos Costa 2013-11-04 01:13:29 +00:00
parent d945f01f53
commit 0f62de3744

View File

@ -347,8 +347,7 @@ void
Yap_setCurrentSourceLocation(IOSTREAM **s) Yap_setCurrentSourceLocation(IOSTREAM **s)
{ {
GET_LD GET_LD
if (!*s) if (*s)
*s = Suser_input;
setCurrentSourceLocation(*s PASS_LD); setCurrentSourceLocation(*s PASS_LD);
} }
#endif #endif