This commit is contained in:
Eelco Dolstra 2017-08-25 20:52:34 +02:00
parent 0ac35b67b8
commit 9b845e6936
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE

View file

@ -166,6 +166,7 @@ public:
auto i = state.its.find(act);
if (i == state.its.end()) break;
if (i->second->type == type) return true;
act = i->second->parent;
}
return false;
}