diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-02-27T12·31+0100 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-02-27T12·34+0100 |
commit | 29cde917fe6b8f2e669c8bf10b38f640045c83b8 (patch) | |
tree | d9349115bb950e40c314c84489aa761a9ee55f3a /COPYING | |
parent | 7c7707638a446f91893cdc21b9e0638d2ebd42d3 (diff) |
Fix deadlock in SubstitutionGoal
We were relying on SubstitutionGoal's destructor releasing the lock, but if a goal is a top-level goal, the destructor won't run in a timely manner since its reference count won't drop to zero. So release it explicitly. Fixes #178.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions