diff --git a/src/main/scala/inox/ast/Definitions.scala b/src/main/scala/inox/ast/Definitions.scala
index 7bdbe1895e7eb266b64af212f0b3355f91ef1f01..637dbc8e6e4979d859b83334ec7a79da139c7be8 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)