From a81517e53ca7fb6ba56ae9ab092524b9560355c3 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Wed, 26 Oct 2016 17:18:45 +0200
Subject: [PATCH] No paramIds!
---
src/main/scala/inox/ast/Definitions.scala | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/main/scala/inox/ast/Definitions.scala b/src/main/scala/inox/ast/Definitions.scala
index 7bdbe1895..637dbc8e6 100644
--- a/src/main/scala/inox/ast/Definitions.scala
+++ b/src/main/scala/inox/ast/Definitions.scala
@@ -378,8 +378,6 @@ 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