From 8ef3a0a6f87bbce6a84699ff69a4569f1d96d0ef Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <mikael.mayer@epfl.ch>
Date: Mon, 29 Feb 2016 18:15:16 +0100
Subject: [PATCH] Hotfix: Forgot an underscore
---
src/main/scala/leon/purescala/DefOps.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/DefOps.scala b/src/main/scala/leon/purescala/DefOps.scala
index 856cdb37a..c6c51de13 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
})
--
GitLab