src: Fix some comments which referred to the old filenames.
authorRichard W.M. Jones <rjones@redhat.com>
Mon, 27 Mar 2017 12:06:18 +0000 (13:06 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 29 Nov 2022 08:13:39 +0000 (08:13 +0000)
commitb7a80d457904a3d677a14b7641b957c9760c03f9
tree5e3ae26f0d0bd54090aba6f7488a6f7c28be5758
parent61ded220af5511b6c164123e612e5650af8e49be
src: Fix some comments which referred to the old filenames.

Fixes commit b7c3ef13cbd9c9cd49005a32ffb70faf6f5bbe8c.
src/top.ml
src/top.mli