[Xsb-users] Re: [Xsb-development] IGNORE_DELAYVAR

[Kostis S. <ko...@cs...>]

 > Kostis, should I leave it in, or take it out when I come across it? 

I wish I had a clear answer for these cases...  Under normal
circumstances (i.e., in the absense of seg-faults/weird bugs)
it is clearly not needed and arguably gets on the way or blurs
our vision.  When debugging however, it is always nice to be
able to easily turn off certain aspects of the system which
give increased confidence that the bug is somewhere else.

Your call here.

Cheers,
- Kostis.