From 29dabb14d240c7a358ccf894cd553508bfc7da4a Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Fri, 19 Oct 2012 16:30:14 +0200
Subject: [PATCH] Add choose
---
src/main/scala/leon/purescala/Trees.scala | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/scala/leon/purescala/Trees.scala b/src/main/scala/leon/purescala/Trees.scala
index bfad43aae..ea5b7ca0f 100644
--- a/src/main/scala/leon/purescala/Trees.scala
+++ b/src/main/scala/leon/purescala/Trees.scala
@@ -42,6 +42,8 @@ object Trees {
case class Epsilon(pred: Expr) extends Expr with ScalacPositional
+ case class Choose(vars: List[Identifier], pred: Expr) extends Expr with ScalacPositional
+
/* Like vals */
case class Let(binder: Identifier, value: Expr, body: Expr) extends Expr {
binder.markAsLetBinder
--
GitLab