From 3bea1b6f99ae024dacb0c4bf0568500794910356 Mon Sep 17 00:00:00 2001 From: dezhidki Date: Wed, 26 Feb 2025 16:50:56 +0200 Subject: [PATCH] UserService: fix lint error --- timApp/static/scripts/tim/user/userService.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/timApp/static/scripts/tim/user/userService.ts b/timApp/static/scripts/tim/user/userService.ts index 008b535e5c..2e379d8cc4 100644 --- a/timApp/static/scripts/tim/user/userService.ts +++ b/timApp/static/scripts/tim/user/userService.ts @@ -163,7 +163,7 @@ export class UserService { .map((tag) => tag.name) ); const groupReviewTags = this.current.groups.map( - (g) => `answer_review_group:${g.name}` + (ug) => `answer_review_group:${ug.name}` ); const res = groupReviewTags.some((tag) => activeTags.has(tag)); // console.log(activeTags, groupReviewTags, res);