From 89183a143a5062a28e39b41d7293bc61e4ed246f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Thu, 8 Mar 2012 08:15:13 +0000 Subject: [PATCH] portray_delays only works in debugging mode. --- C/write.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/C/write.c b/C/write.c index 8993a5286..04dd0761a 100644 --- a/C/write.c +++ b/C/write.c @@ -640,7 +640,7 @@ write_var(CELL *t, struct write_globs *wglb, struct rewind_term *rwt) lastw = separator; if (IsAttVar(t)) { Int vcount = (t-H0); -#if COROUTINING +#if defined(COROUTINING) && defined(DEBUG) if (Yap_Portray_delays) { exts ext = ExtFromCell(t); struct rewind_term nrwt;