diff --git a/src/main/scala/leon/purescala/DefOps.scala b/src/main/scala/leon/purescala/DefOps.scala
index 856cdb37a21f3b73d07b03aa21ca62affd51971d..c6c51de132a8be00b0eeefd9e5bddbb83287ca9e 100644
--- a/src/main/scala/leon/purescala/DefOps.scala
+++ b/src/main/scala/leon/purescala/DefOps.scala
@@ -400,7 +400,7 @@ object DefOps {
       cd match {
         case ccd: CaseClassDef =>
           cdMapFCache.getOrElse(ccd, {
-            val new_cd_potential = cdMapF(ccd)
+            val new_cd_potential = _cdMapF(ccd)
             cdMapFCache += ccd -> new_cd_potential
             new_cd_potential
           })