// // This file is distributed under the MIT License. See LICENSE.md for details. // #include "revng/AutoEnforcer/AutoEnforcerTarget.h"