Skip to content
Snippets Groups Projects
Commit b0a83db0 authored by Nicolas Voirol's avatar Nicolas Voirol
Browse files

Removed useless type check

parent b082dad9
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/inox/solvers/unrolling/TemplateGenerator.scala
+ 1
− 1
View file @ b0a83db0
...@@ -191,7 +191,7 @@ trait TemplateGenerator { self: Templates => ...@@ -191,7 +191,7 @@ trait TemplateGenerator { self: Templates =>
val rb = rec(pathVar, exprOps.replace(Map(i.toVariable -> newExpr), b), pol) val rb = rec(pathVar, exprOps.replace(Map(i.toVariable -> newExpr), b), pol)
rb rb
case n @ Not(e) if n.getType == BooleanType => case n @ Not(e) =>
Not(rec(pathVar, e, pol.map(!_))) Not(rec(pathVar, e, pol.map(!_)))
case i @ Implies(lhs, rhs) => case i @ Implies(lhs, rhs) =>
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment