// -*- C++ -*- (c) 2015 Petr Rockai <me@mornfall.net>

DIVINE_RELAX_WARNINGS
#include <llvm/IR/Module.h>
DIVINE_UNRELAX_WARNINGS

namespace lart {

void updateIDs( llvm::Module &m );

}