From a3ef935a58c607941828d864375b15989dcb771b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jo=C3=A3o=20Pereira?= Date: Mon, 20 Jan 2025 22:29:15 +0100 Subject: [PATCH] cleanup --- .../scala/viper/gobra/frontend/info/ExternalTypeInfo.scala | 4 ---- .../frontend/info/implementation/typing/ProgramTyping.scala | 2 +- 2 files changed, 1 insertion(+), 5 deletions(-) diff --git a/src/main/scala/viper/gobra/frontend/info/ExternalTypeInfo.scala b/src/main/scala/viper/gobra/frontend/info/ExternalTypeInfo.scala index 4f2b44c58..8919ed772 100644 --- a/src/main/scala/viper/gobra/frontend/info/ExternalTypeInfo.scala +++ b/src/main/scala/viper/gobra/frontend/info/ExternalTypeInfo.scala @@ -126,8 +126,4 @@ trait ExternalTypeInfo { /** returns all global variables declared in the same package as 'n' on which the declaration of 'n' depends */ def samePkgDepsOfGlobalVar(n: SymbolTable.GlobalVariable): Vector[SymbolTable.GlobalVariable] - - // def dupPkgInvariants(): Vector[PExpression] - - // def nonDupPkgInvariants(): Vector[PExpression] } diff --git a/src/main/scala/viper/gobra/frontend/info/implementation/typing/ProgramTyping.scala b/src/main/scala/viper/gobra/frontend/info/implementation/typing/ProgramTyping.scala index f99842ba9..f1ff4e0fc 100644 --- a/src/main/scala/viper/gobra/frontend/info/implementation/typing/ProgramTyping.scala +++ b/src/main/scala/viper/gobra/frontend/info/implementation/typing/ProgramTyping.scala @@ -19,7 +19,7 @@ import viper.gobra.util.Violation trait ProgramTyping extends BaseTyping { this: TypeInfoImpl => lazy val wellDefProgram: WellDefinedness[PProgram] = createWellDef { - case p@PProgram(_, staticInvs, imports, _, members) => + case PProgram(_, staticInvs, imports, _, members) => // Obtains global variable declarations sorted by the order in which they appear in the file val sortedByPosDecls: Vector[PVarDecl] = { val unsortedDecls: Vector[PVarDecl] = members.collect{ case d: PVarDecl => d; case PExplicitGhostMember(d: PVarDecl) => d }