From 4fc3cc930923b684fb29c6aa12494049d91e4924 Mon Sep 17 00:00:00 2001 From: Linard Arquint Date: Tue, 18 Jul 2023 09:06:13 +0200 Subject: [PATCH] Update src/main/scala/viper/gobra/frontend/info/implementation/resolution/MemberResolution.scala Co-authored-by: Felix Wolf <60103963+Felalolf@users.noreply.github.com> --- .../info/implementation/resolution/MemberResolution.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/scala/viper/gobra/frontend/info/implementation/resolution/MemberResolution.scala b/src/main/scala/viper/gobra/frontend/info/implementation/resolution/MemberResolution.scala index 614d2e055..f38148c79 100644 --- a/src/main/scala/viper/gobra/frontend/info/implementation/resolution/MemberResolution.scala +++ b/src/main/scala/viper/gobra/frontend/info/implementation/resolution/MemberResolution.scala @@ -405,7 +405,7 @@ trait MemberResolution { this: TypeInfoImpl => def getTypeChecker(importTarget: AbstractImport, errNode: PNode): Either[Messages, ExternalTypeInfo] = { def createImportError(errs: Vector[VerifierError]): Messages = { // create an error message located at the import statement to indicate errors in the imported package - // we distinguish between regular errors and packages whose source files could not be found (not that cyclic + // we distinguish between regular errors and packages whose source files could not be found (note that cyclic // errors are handled before type-checking) val notFoundErr = errs.collectFirst { case e: NotFoundError => e } // alternativeErr is a function to compute the message only when needed