#ifndef DIVINE_LLVM_SUPPORT
#define DIVINE_LLVM_SUPPORT

namespace divine {
namespace vm {
bool initMultithreaded();
}
}

#endif