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>
Mon, 27 Mar 2017 12:06:18 +0000 (13:06 +0100)
commit3e9ed9c0fe49c3d4e4a8e467d521f676769c485a
treebf56290cbd83303dca0837e9e2777d6022c9f17b
parenteffd1ec5897a2cac6e897ae7bce72f6b1e617b90
src: Fix some comments which referred to the old filenames.

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