Fixed incorrect parameter name

viperproject · Sep 1, 2024 · 779ecbb · 779ecbb
1 parent ec5c49d
commit 779ecbb
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/main/scala/rules/Consumer.scala b/src/main/scala/rules/Consumer.scala
@@ -244,7 +244,7 @@ object consumer extends ConsumptionRules {
               h = h,
               resource = field,
               qvars = qvars,
-              qVarExps = qvarExps,
+              qvarExps = qvarExps,
               formalQVars = Seq(`?r`),
               formalQVarsExp = Option.when(withExp)(Seq(ast.LocalVarDecl(`?r`.id.name, ast.Ref)())),
               qid = qid.name,
@@ -289,7 +289,7 @@ object consumer extends ConsumptionRules {
               h = h,
               resource = predicate,
               qvars = qvars,
-              qVarExps = qvarExps,
+              qvarExps = qvarExps,
               formalQVars = formalVars,
               formalQVarsExp = Option.when(withExp)(predicate.formalArgs),
               qid = qid.name,
@@ -330,7 +330,7 @@ object consumer extends ConsumptionRules {
               h = h,
               resource = wand,
               qvars = qvars,
-              qVarExps = qvarExps,
+              qvarExps = qvarExps,
               formalQVars = formalVars,
               formalQVarsExp = formalVarExps,
               qid = qid,