From c459119847db902e0c6373fadb84adf8bf055d32 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Fri, 8 Apr 2016 22:58:27 +0200
Subject: [PATCH] Small fix to DefinitionTransformer
---
src/main/scala/leon/purescala/DefinitionTransformer.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/DefinitionTransformer.scala b/src/main/scala/leon/purescala/DefinitionTransformer.scala
index 6be2448ad..8c8f8015b 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]))
--
GitLab