From b0a83db02ca82c1677aef44932d77cd3aaa5141d Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Wed, 16 Nov 2016 18:24:51 +0100
Subject: [PATCH] Removed useless type check
---
src/main/scala/inox/solvers/unrolling/TemplateGenerator.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/inox/solvers/unrolling/TemplateGenerator.scala b/src/main/scala/inox/solvers/unrolling/TemplateGenerator.scala
index 55888023d..66887e0fc 100644
--- a/src/main/scala/inox/solvers/unrolling/TemplateGenerator.scala
+++ b/src/main/scala/inox/solvers/unrolling/TemplateGenerator.scala
@@ -191,7 +191,7 @@ trait TemplateGenerator { self: Templates =>
val rb = rec(pathVar, exprOps.replace(Map(i.toVariable -> newExpr), b), pol)
rb
- case n @ Not(e) if n.getType == BooleanType =>
+ case n @ Not(e) =>
Not(rec(pathVar, e, pol.map(!_)))
case i @ Implies(lhs, rhs) =>
--
GitLab