about summary refs log tree commit diff
path: root/misc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-01-25T20·27+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-01-25T20·27+0000
commit2a2756b85643de6355b7b9e3cc47574e7df82303 (patch)
tree1e44145bc88c55f6d70b05503b7741a613b36e3c /misc
parenta9340fa67222bf7ab9057d132af387031b00997d (diff)
* Simplification: registerSubstitutes -> registerSubstitute. We no
  longer need the former since there we no longer have the
  substitutes-rev table (which triggered a O(n^2) cost in updating
  them).

Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions