diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-20T11·30+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-20T11·30+0000 |
commit | ed0db2e0d80ac538fbb1f9869922be4fbf7bfeab (patch) | |
tree | 3ee709654c7a67dd7f8e87fa41aa34d99bee772d /configure.ac | |
parent | 1472cc482503a39d173b5dcd34686fd6c3c644d6 (diff) |
* Fixed a serious bug in the computation of slices. Sometimes the slices
would not be properly closed under the path reference relation.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions