// -*- C++ -*- (c) 2018 Henrich Lauko #pragma once DIVINE_RELAX_WARNINGS #include #include DIVINE_UNRELAX_WARNINGS namespace lart { namespace abstract { struct Cleanup { void run( llvm::Module& ); }; } // namespace abstract } // namespace lart