This file specifies all changes made to the "./STD/*/src/*/svcomp" files.

In no changes were required, then this file must consist entirely of the
single line (formatted as provided):
    No changes were made to the "./STD/*/src/*/svcomp" files.
