Skip to content

Commit ab3b3c6

Browse files
committed
indentation in descendant lockset test
1 parent 6d501eb commit ab3b3c6

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

tests/regression/53-races-mhp/53-dl_maybe_unlock_parent_racing.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ int main(void) {
1818
pthread_create(&id1, NULL, t1, NULL);
1919
int maybe = __VERIFIER_nondet_int();
2020
if (maybe) {
21-
pthread_mutex_unlock(&mutex);
21+
pthread_mutex_unlock(&mutex);
2222
}
2323
global++; // RACE!
2424
return 0;

0 commit comments

Comments
 (0)