From 6876a0df512b0d96d35ed01930d065683e393228 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <mikael.mayer@epfl.ch>
Date: Mon, 25 Apr 2016 15:58:57 +0200
Subject: [PATCH] Fixed bug missing AsInstanceOf during AbstractEvaluator.
---
src/main/scala/leon/evaluators/AbstractEvaluator.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/evaluators/AbstractEvaluator.scala b/src/main/scala/leon/evaluators/AbstractEvaluator.scala
index a5a26e02f..67d83136a 100644
--- a/src/main/scala/leon/evaluators/AbstractEvaluator.scala
+++ b/src/main/scala/leon/evaluators/AbstractEvaluator.scala
@@ -155,7 +155,7 @@ class AbstractEvaluator(ctx: LeonContext, prog: Program) extends ContextualEvalu
def matchesPattern(pat: Pattern, expr: Expr, exprFromScrut: Expr): Option[Map[Identifier, (Expr, Expr)]] = (pat, expr) match {
case (InstanceOfPattern(ob, pct), e) =>
if (isSubtypeOf(e.getType, pct)) {
- Some(obind(ob, e, exprFromScrut))
+ Some(obind(ob, e, AsInstanceOf(exprFromScrut, pct)))
} else {
None
}
--
GitLab