From cf0fea1a61cc1dd13971421b46ca5aa1f16926cd Mon Sep 17 00:00:00 2001 From: jogasser <74091108+jogasser@users.noreply.github.com> Date: Mon, 24 Jun 2024 07:34:00 +0200 Subject: [PATCH] Update src/main/scala/viper/silver/plugin/standard/reasoning/ReasoningPlugin.scala Co-authored-by: Linard Arquint --- .../silver/plugin/standard/reasoning/ReasoningPlugin.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/scala/viper/silver/plugin/standard/reasoning/ReasoningPlugin.scala b/src/main/scala/viper/silver/plugin/standard/reasoning/ReasoningPlugin.scala index a87e3089c..0ef5c4531 100644 --- a/src/main/scala/viper/silver/plugin/standard/reasoning/ReasoningPlugin.scala +++ b/src/main/scala/viper/silver/plugin/standard/reasoning/ReasoningPlugin.scala @@ -138,7 +138,7 @@ class ReasoningPlugin(@unused reporter: viper.silver.reporter.Reporter, /** check that lemma terminates (has a decreases clause) and that it is pure */ checkLemma(input, reportError) - /** create graph with vars that are in scope only outside of the universal introduction code block including the qunatified variables */ + /** create graph with vars that are in scope only outside of the universal introduction code block including the quantified variables */ val analysis: VarAnalysisGraphMap = VarAnalysisGraphMap(input, logger, reportError) /** Run taint analysis for all methods annotated with influences */