diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-09T15·02+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-09T15·02+0000 |
| commit | 2b95a9dc05d0a943859ba92bb301c294473758f1 (patch) | |
| tree | 7eb1a6af395553a2c9af6a072820bcaf3f040e76 /src/globals.hh | |
| parent | 9a99dc736d814f41d2b3ceb92da2435ae2dd5632 (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