More renaming
[invirt/third/libt4.git] / lock_tester.cc
index d063cdc..5c78c90 100644 (file)
@@ -10,7 +10,6 @@
 #include <stdlib.h>
 #include <stdio.h>
 #include "lang/verify.h"
-#include "lock_client_cache_rsm.h"
 #include "tprintf.h"
 #include <sys/types.h>
 #include <unistd.h>
@@ -21,7 +20,7 @@ char tprintf_thread_prefix = 'c';
 // must be >= 2
 const int nt = 6; //XXX: lab1's rpc handlers are blocking. Since rpcs uses a thread pool of 10 threads, we cannot test more than 10 blocking rpc.
 std::string dst;
-lock_client_cache_rsm **lc = new lock_client_cache_rsm * [nt];
+lock_client **lc = new lock_client * [nt];
 lock_protocol::lockid_t a = "1";
 lock_protocol::lockid_t b = "2";
 lock_protocol::lockid_t c = "3";
@@ -174,7 +173,7 @@ main(int argc, char *argv[])
     }
 
     tprintf("cache lock client\n");
-    for (int i = 0; i < nt; i++) lc[i] = new lock_client_cache_rsm(dst);
+    for (int i = 0; i < nt; i++) lc[i] = new lock_client(dst);
 
     if(!test || test == 1){
         test1();