about summary refs log tree commit diff
path: root/src/globals.hh
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-07-09T15·02+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-07-09T15·02+0000
commit2b95a9dc05d0a943859ba92bb301c294473758f1 (patch)
tree7eb1a6af395553a2c9af6a072820bcaf3f040e76 /src/globals.hh
parent9a99dc736d814f41d2b3ceb92da2435ae2dd5632 (diff)
* When computing the set of paths referenced by an expression, also
  include the paths of the subterms.

Diffstat (limited to 'src/globals.hh')
0 files changed, 0 insertions, 0 deletions