Make printValue() interruptible

Fixes #572.
This commit is contained in:
Eelco Dolstra 2015-07-17 11:33:39 +02:00
parent 7c9d0a5969
commit f39979c6d3

View file

@ -63,6 +63,8 @@ void Bindings::sort()
static void printValue(std::ostream & str, std::set<const Value *> & active, const Value & v)
{
checkInterrupt();
if (active.find(&v) != active.end()) {
str << "<CYCLE>";
return;