[project @ 2005-02-11 12:20:12 by simonmar]
Fix a bug: thunk_selector_depth was being incremented before checking that we had reached the depth limit, and not decremented if we had reached the limit.
Please register or sign in to comment
Fix a bug: thunk_selector_depth was being incremented before checking that we had reached the depth limit, and not decremented if we had reached the limit.