tree 2006069d0771e7eb7c701438871f7b2760cbf958
parent 0133072f87b7ac0791413870876a0769ca7d44e0
author Tom Tromey <tromey@adacore.com> 1691164314 -0600
committer Tom Tromey <tromey@adacore.com> 1691164314 -0600

Fix incorrect class name in free_objfile documentation

The documentation for the Python free_objfile event registry uses the
wrong class name.  This patch fixes it.  I'm checking this in as
obvious.