// (C) 2016 University of Bristol. See License.txt /* * OText_main.cpp * */ #include "OTMachine.h" int main(int argc, const char** argv) { OTMachine(argc, argv).run(); }