tree 0cc0beeca3332f54524d01adc82f249247723e25
parent 542e23ffbe5cd9e49c026e36533902f6df1f4021
author Tom Tromey <tom@tromey.com> 1672075412 -0700
committer Tom Tromey <tom@tromey.com> 1704764421 -0700

Move cooked_index_storage to cooked-index.h

This moves cooked_index_storage to cooked-index.h.  This is needed by
a subsequent patch.