commit | 21f6be77b97e1d606881966fd4e407fde459a639 | [log] [tgz] |
---|---|---|
author | Tom Tromey <tom@tromey.com> | Tue Feb 21 15:03:38 2023 -0700 |
committer | Tom Tromey <tom@tromey.com> | Tue Mar 07 14:46:58 2023 -0700 |
tree | afb3ecd473c706fb12655b58b31028963d6fef83 | |
parent | 2a32d78f8aa6ddce2642067960f90173466dcc10 [diff] |
Merge forget_cached_source_info_for_objfile into objfile method forget_cached_source_info_for_objfile does some objfile-specific work and then calls objfile::forget_cached_source_info. It seems better to me to just have the method do all the work.