about summary refs log tree commit diff
path: root/src/fix.cc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-08-20T11·30+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-08-20T11·30+0000
commited0db2e0d80ac538fbb1f9869922be4fbf7bfeab (patch)
tree3ee709654c7a67dd7f8e87fa41aa34d99bee772d /src/fix.cc
parent1472cc482503a39d173b5dcd34686fd6c3c644d6 (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/fix.cc')
0 files changed, 0 insertions, 0 deletions