X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/5fd8cc8409d0efadc07dfe8d6774ad9ff477663d..61809b48ade4c21b1b01931d520aa2abc7507032:/lock_tester.cc diff --git a/lock_tester.cc b/lock_tester.cc index dd7c07b..8e736ce 100644 --- a/lock_tester.cc +++ b/lock_tester.cc @@ -13,6 +13,8 @@ #include "lang/verify.h" #include "lock_client_cache_rsm.h" #include "tprintf.h" +#include +#include char tprintf_thread_prefix = 'c';