diff --git a/src/main/scala/leon/Evaluator.scala b/src/main/scala/leon/Evaluator.scala
index bd01412c2606d1e86dec168c8c493b2b64f9de7e..72c62ef152b58b54a563ceb9e238c129af5a565c 100644
--- a/src/main/scala/leon/Evaluator.scala
+++ b/src/main/scala/leon/Evaluator.scala
@@ -51,6 +51,14 @@ object Evaluator {
             throw RuntimeErrorEx("No value for identifier " + id.name + " in context.")
           }
         }
+        case Tuple(ts) => {
+          val tsRec = ts.map(rec(ctx, _))
+          Tuple(tsRec)
+        }
+        case TupleSelect(t, i) => {
+          val Tuple(rs) = rec(ctx, t)
+          rs(i-1)
+        }
         case Let(i,e,b) => {
           val first = rec(ctx, e)
           rec(ctx + ((i -> first)), b)