Capital letters are bad apparently

jad-hamza · jad-hamza · commit 016234b8691d · 2021-05-07T08:53:59.000+02:00
diff --git a/src/main/scala/inox/solvers/unrolling/TemplateGenerator.scala b/src/main/scala/inox/solvers/unrolling/TemplateGenerator.scala
@@ -136,7 +136,7 @@ trait TemplateGenerator { self: Templates =>
       builder.iff(orJoin((thenBlockers ++ elseBlockers).toSeq), newBlocker)
 
       val newArgs = (thenCall.args zip elseCall.args).map { case (thenArg, elseArg) =>
-        val (newArg, argClauses) = mkExprClauses(newBlocker, IfExpr(condVar, thenArg, elseArg), builder.localSubst)
+        val (newArg, argClauses) = mkExprClauses(newBlocker, ifExpr(condVar, thenArg, elseArg), builder.localSubst)
         builder ++= argClauses
         newArg
       }

Original file line number	Diff line number	Diff line change
`@@ -136,7 +136,7 @@ trait TemplateGenerator { self: Templates =>`
`136`	`136`	`builder.iff(orJoin((thenBlockers ++ elseBlockers).toSeq), newBlocker)`
`137`	`137`
`138`	`138`	`val newArgs = (thenCall.args zip elseCall.args).map { case (thenArg, elseArg) =>`
`139`		`- val (newArg, argClauses) = mkExprClauses(newBlocker, IfExpr(condVar, thenArg, elseArg), builder.localSubst)`
	`139`	`+ val (newArg, argClauses) = mkExprClauses(newBlocker, ifExpr(condVar, thenArg, elseArg), builder.localSubst)`
`140`	`140`	`builder ++= argClauses`
`141`	`141`	`newArg`
`142`	`142`	`}`