diff --git a/src/main/scala/leon/purescala/DefinitionTransformer.scala b/src/main/scala/leon/purescala/DefinitionTransformer.scala
index 6be2448adf41b1c2962ef458ca838d04c13b9bdb..8c8f8015ba418f226d14016f1bf29852b42d51d4 100644
--- a/src/main/scala/leon/purescala/DefinitionTransformer.scala
+++ b/src/main/scala/leon/purescala/DefinitionTransformer.scala
@@ -36,7 +36,7 @@ class DefinitionTransformer(
   private val tmpDefs: MutableSet[Definition] = MutableSet.empty
 
   private def transformDefs(base: Definition): Unit = {
-    val deps = dependencies(base)
+    val deps = dependencies(base) + base
     val (cds, fds) = {
       val (c, f) = deps.partition(_.isInstanceOf[ClassDef])
       (c.map(_.asInstanceOf[ClassDef]), f.map(_.asInstanceOf[FunDef]))