make var names available as a global var

This commit is contained in:
Vítor Santos Costa 2015-03-04 09:35:09 +00:00
parent 9d48f3c3c0
commit 0b90870185
1 changed files with 4 additions and 3 deletions

View File

@ -655,6 +655,7 @@ Yap_read_term(term_t t0, IOSTREAM *inp_stream, struct read_data_t *rd)
TR = old_TR; TR = old_TR;
} }
} }
LOCAL_VarNames = v;
if (!Yap_unify(v, Yap_GetFromSlot( rd->varnames PASS_REGS ))) { if (!Yap_unify(v, Yap_GetFromSlot( rd->varnames PASS_REGS ))) {
CurrentModule = OCurrentModule; CurrentModule = OCurrentModule;
return FALSE; return FALSE;