roc+%cs.cmu.edu 37e652dcfa Bug 393490. When subsuming an interval, we need to merge its beginning into the current interval as well as its end, because it might start before the current interval. r+sr=dbaron ...

git-svn-id: svn://10.0.0.236/trunk@246252 18797224-902f-48f8-a5cc-f745e15eee43

2008-02-22 01:02:52 +00:00

4.3 KiB

Raw Blame History

View Raw