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