use Scurin by default in read/1.
This commit is contained in:
parent
dfd2db7c85
commit
2b213963dd
@ -740,7 +740,9 @@ static Int
|
||||
static Int
|
||||
p_read ( USES_REGS1 )
|
||||
{ /* '$read'(+Flag,?Term,?Module,?Vars,-Pos,-Err) */
|
||||
return do_read(NULL, 7 PASS_REGS);
|
||||
IOSTREAM *Yap_Scurin(void);
|
||||
|
||||
return do_read(Yap_Scurin(), 7 PASS_REGS);
|
||||
}
|
||||
|
||||
extern int Yap_getInputStream(Int, IOSTREAM **);
|
||||
|
@ -1121,6 +1121,12 @@ Yap_StreamPosition(IOSTREAM *st)
|
||||
return StreamPosition(st);
|
||||
}
|
||||
|
||||
IOSTREAM *
|
||||
Yap_Scurin(void)
|
||||
{
|
||||
return Scurin;
|
||||
}
|
||||
|
||||
|
||||
#if THREADS
|
||||
|
||||
|
Reference in New Issue
Block a user