diff --git a/regressions/ck_tflock/validate/validate.c b/regressions/ck_tflock/validate/validate.c index 0470b30..1b49e3b 100644 --- a/regressions/ck_tflock/validate/validate.c +++ b/regressions/ck_tflock/validate/validate.c @@ -152,6 +152,7 @@ main(int argc, char *argv[]) a.delta = atoi(argv[2]); tflock_ticket_test(threads, thread, "regular"); + ck_tflock_ticket_init(&lock); return 0; }