Skip to content
Commit d7793560 authored by Haojian Wu's avatar Haojian Wu
Browse files

[SourceManager] Fix the incorrect counting stats in getFileIDLoaded. 

We were double-counting the number of binary search FileID scans.
parent 551a242c
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment