diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-10T15·07+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-10T15·07+0000 |
commit | bd0c40e1e93d2239b44bd1f73c2587cd62e66e4d (patch) | |
tree | 0569c1671b4308f6e74ce1c1838a7e016813e14b /aterm-gc.supp | |
parent | 7bada48b36a091bb30c905229e16df3c36c90d7d (diff) |
* `import': unwrap the context. Necessary to make `import (x + y)'
work, where x is a store path.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions