From 45797dc729229c735604722c701e4c5947af88d2 Mon Sep 17 00:00:00 2001 From: Erik Krogh Kristensen Date: Tue, 31 Mar 2020 13:53:00 +0200 Subject: [PATCH] autoformat --- javascript/ql/src/Declarations/DeadStoreOfLocal.ql | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/javascript/ql/src/Declarations/DeadStoreOfLocal.ql b/javascript/ql/src/Declarations/DeadStoreOfLocal.ql index 9d5a7338a9b..1002ac0a4e3 100644 --- a/javascript/ql/src/Declarations/DeadStoreOfLocal.ql +++ b/javascript/ql/src/Declarations/DeadStoreOfLocal.ql @@ -65,7 +65,7 @@ where // the term "definition" when the alert location is a variable declaration. if dead instanceof VariableDeclarator and - not exists(SsaImplicitInit init | init.getVariable().getSourceVariable() = v) // the variable is dead at the hoisted implicit initialization. + not exists(SsaImplicitInit init | init.getVariable().getSourceVariable() = v) // the variable is dead at the hoisted implicit initialization. then msg = "The initial value of " + v.getName() + " is unused, since it is always overwritten." else msg = "The value assigned to " + v.getName() + " here is unused." )