declaration is never used fix

ergoplatform · Jul 29, 2019 · 2948e67 · 2948e67
1 parent 335101d
commit 2948e67
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/sigmastate/interpreter/Interpreter.scala b/src/main/scala/sigmastate/interpreter/Interpreter.scala
@@ -240,7 +240,7 @@ trait Interpreter extends ScorexLogging {
       checkingResult -> cost
     })
     if (outputComputedResults) {
-      res.foreach { case (ok, cost) =>
+      res.foreach { case (_, cost) =>
         val scaledCost = cost * 1 // this is the scale factor of CostModel with respect to the concrete hardware
         val timeMicro = t * 1000  // time in microseconds
         val error = if (scaledCost > timeMicro) {