Make ~value private
authorTom Tromey <tom@tromey.com>
Wed, 1 Feb 2023 15:34:58 +0000 (08:34 -0700)
committerTom Tromey <tom@tromey.com>
Mon, 13 Feb 2023 22:22:20 +0000 (15:22 -0700)
commit43b5fba22365c6ddd0d60324833f279364b577e7
treeb7c62a6b7f392a9f90d50f761fe7d84dcb47cbe8
parent8f4135314ae6e1a98a36295c85af5b246dfa00ff
Make ~value private

At the end of this series, I belatedly realized that values should
only be destroyed by value_decref.  This patch marks the the
destructor private to enforce this.

Approved-By: Simon Marchi <simon.marchi@efficios.com>
gdb/value.h