diff --git a/src/language/validation/safe-ds-validator.ts b/src/language/validation/safe-ds-validator.ts index 44b965798..2cdf0ad7a 100644 --- a/src/language/validation/safe-ds-validator.ts +++ b/src/language/validation/safe-ds-validator.ts @@ -76,7 +76,7 @@ import { } from './other/declarations/annotationCalls.js'; import { memberAccessMustBeNullSafeIfReceiverIsNullable } from './other/expressions/memberAccesses.js'; import { importPackageMustExist, importPackageShouldNotBeEmpty } from './other/imports.js'; -import {singleUseAnnotationsMustNotBeRepeated} from "./builtins/repeatable.js"; +import { singleUseAnnotationsMustNotBeRepeated } from './builtins/repeatable.js'; /** * Register custom validation checks. @@ -99,9 +99,7 @@ export const registerValidationChecks = function (services: SafeDsServices) { annotationCallAnnotationShouldNotBeExperimental(services), annotationCallArgumentListShouldBeNeeded, ], - SdsAnnotatedObject: [ - singleUseAnnotationsMustNotBeRepeated(services), - ], + SdsAnnotatedObject: [singleUseAnnotationsMustNotBeRepeated(services)], SdsArgument: [ argumentCorrespondingParameterShouldNotBeDeprecated(services), argumentCorrespondingParameterShouldNotBeExperimental(services),