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