From c20e79a78d7de7018d66ac699f2e8a4c09c49b57 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 8 Aug 2016 13:46:51 +0200
Subject: [PATCH] Placeholder for finiteLambda
---
src/main/scala/inox/ast/Constructors.scala | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/src/main/scala/inox/ast/Constructors.scala b/src/main/scala/inox/ast/Constructors.scala
index e9bf6c885..2ba2c1511 100644
--- a/src/main/scala/inox/ast/Constructors.scala
+++ b/src/main/scala/inox/ast/Constructors.scala
@@ -280,4 +280,8 @@ trait Constructors {
IsInstanceOf(expr, tpe)
}
}
+
+ def finiteLambda(cases: Seq[(Expr, Expr)], default: Expr, ft: FunctionType): Expr = {
+ ???
+ }
}
--
GitLab