Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Obvious comment fix in cooked-index.h
I noticed that cooked-index.h still refers to a vector of parent maps, but the code itself actually uses a parent_map here.
- Loading branch information