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 /src/fstate.hh | |
| 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 'src/fstate.hh')
0 files changed, 0 insertions, 0 deletions