about summary refs log tree commit diff
path: root/scripts
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-02-18T09·50+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-02-18T09·50+0000
commit3c1630131e26efc90164bd8ca57870d9c4ad402b (patch)
tree63cf016878ac79b1257cec9cb01127585af52609 /scripts
parent398463a72adf95b29bd86ba2ea66a08ed4e49541 (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