about summary refs log tree commit diff
path: root/misc
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2014-02-27T12·31+0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2014-02-27T12·34+0100
commit29cde917fe6b8f2e669c8bf10b38f640045c83b8 (patch)
treed9349115bb950e40c314c84489aa761a9ee55f3a /misc
parent7c7707638a446f91893cdc21b9e0638d2ebd42d3 (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 'misc')
0 files changed, 0 insertions, 0 deletions