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