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 /bootstrap.sh | |
| 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 'bootstrap.sh')
0 files changed, 0 insertions, 0 deletions