tree f7dd44aeffd0ede58573d7d80dc3304f8b4b6dab
parent d9195131530370f56e78a2b084928c11da536d9e
author Tom Tromey <tromey@adacore.com> 1674836443 -0700
committer Tom Tromey <tromey@adacore.com> 1674853921 -0700

More const-correctness in cooked indexer

I noticed that iterating over the index yields non-const
cooked_index_entry objects.  However, after finalization, they should
not be modified.  This patch enforces this by adding const where
needed.

v2 makes the find, all_entries, and wait methods const as well.