Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
This commit is contained in:
commit
44737a5d0f
@ -641,7 +641,7 @@ write_var(CELL *t, struct write_globs *wglb, struct rewind_term *rwt)
|
|||||||
lastw = separator;
|
lastw = separator;
|
||||||
if (IsAttVar(t)) {
|
if (IsAttVar(t)) {
|
||||||
Int vcount = (t-H0);
|
Int vcount = (t-H0);
|
||||||
#if COROUTINING
|
#if defined(COROUTINING) && defined(DEBUG)
|
||||||
if (Yap_Portray_delays) {
|
if (Yap_Portray_delays) {
|
||||||
exts ext = ExtFromCell(t);
|
exts ext = ExtFromCell(t);
|
||||||
struct rewind_term nrwt;
|
struct rewind_term nrwt;
|
||||||
|
Reference in New Issue
Block a user