X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/02967a43024ce81912cd1ec96a800397457f8066..refs/heads/iannucci:/lock_smain.cc?ds=sidebyside diff --git a/lock_smain.cc b/lock_smain.cc index 64f7985..52e6c4f 100644 --- a/lock_smain.cc +++ b/lock_smain.cc @@ -1,4 +1,6 @@ -#include "lock_server.h" +#include "include/lock_server.h" + +using namespace std::chrono; int main(int argc, char *argv[]) { global = new t4_state('s'); @@ -16,5 +18,5 @@ int main(int argc, char *argv[]) { rsm.start(); while(1) - std::this_thread::sleep_for(milliseconds(1000)); + std::this_thread::sleep_for(1000ms); }