From fd78556bf770ffac7b411d16ed8154d45d3492fb Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 12 Oct 2016 16:34:34 +0200
Subject: [PATCH] paramids
---
src/main/scala/inox/ast/Definitions.scala | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/scala/inox/ast/Definitions.scala b/src/main/scala/inox/ast/Definitions.scala
index ecf59199d..e9ab87604 100644
--- a/src/main/scala/inox/ast/Definitions.scala
+++ b/src/main/scala/inox/ast/Definitions.scala
@@ -357,6 +357,8 @@ trait Definitions { self: Trees =>
val flags: Set[Flag]
) extends Definition {
+ def paramIds = params map (_.id)
+
/** Wraps this [[FunDef]] in a in [[TypedFunDef]] with the specified type parameters */
def typed(tps: Seq[Type])(implicit s: Symbols): TypedFunDef = {
assert(tps.size == tparams.size)
--
GitLab