#1425: Remove unused dependency

jonathan-chen10 · jonathan-chen10 · commit e27fc6def68f · 2023-11-11T03:53:52.000-05:00
diff --git a/src/frontend/src/utils/users.ts b/src/frontend/src/utils/users.ts
@@ -1,4 +1,4 @@
-import { AuthenticatedUser, User, isHead, isLeadership } from 'shared';
+import { AuthenticatedUser, User, isHead } from 'shared';
 import { fullNamePipe } from './pipes';
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-import { AuthenticatedUser, User, isHead, isLeadership } from 'shared';`
	`1`	`+import { AuthenticatedUser, User, isHead } from 'shared';`
`2`	`2`	`import { fullNamePipe } from './pipes';`
`3`	`3`
`4`	`4`	`/**`