diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-02-18T09·50+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-02-18T09·50+0000 |
commit | 3c1630131e26efc90164bd8ca57870d9c4ad402b (patch) | |
tree | 63cf016878ac79b1257cec9cb01127585af52609 /scripts | |
parent | 398463a72adf95b29bd86ba2ea66a08ed4e49541 (diff) |
* Subtle bug in the builder: if a subgoal that is instantiated
multiple times is also a top-level goal, then the second and later instantiations would never be created because there would be a stable pointer to the first one that would keep it alive in the WeakGoalMap. * Some tracing code for debugging this kind of problem.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions