Skip to content
Snippets Groups Projects
Commit 8ef3a0a6 authored by Mikaël Mayer's avatar Mikaël Mayer
Browse files

Hotfix: Forgot an underscore

parent 949da982
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/leon/purescala/DefOps.scala
+ 1
− 1
View file @ 8ef3a0a6
...@@ -400,7 +400,7 @@ object DefOps { ...@@ -400,7 +400,7 @@ object DefOps {
cd match { cd match {
case ccd: CaseClassDef => case ccd: CaseClassDef =>
cdMapFCache.getOrElse(ccd, { cdMapFCache.getOrElse(ccd, {
val new_cd_potential = cdMapF(ccd) val new_cd_potential = _cdMapF(ccd)
cdMapFCache += ccd -> new_cd_potential cdMapFCache += ccd -> new_cd_potential
new_cd_potential new_cd_potential
}) })
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment