summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-05-10 19:53:53 +0200
committerNadrieril2019-05-10 19:53:53 +0200
commit2d1a333d6c1e8571ca91d29333c284104153b0ef (patch)
tree56fca193d7649baf34ba7d5b40d1d2032fe600e8
parenta8e696f62f14296b94964adb1946d7e2b5ef5ebd (diff)
oops
-rw-r--r--dhall_syntax/src/core/map.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall_syntax/src/core/map.rs b/dhall_syntax/src/core/map.rs
index c76ac34..e5b399e 100644
--- a/dhall_syntax/src/core/map.rs
+++ b/dhall_syntax/src/core/map.rs
@@ -99,6 +99,7 @@ mod dup_tree_map {
}
Entry::Occupied(mut e) => e.get_mut().push(value),
}
+ self.size += 1;
}
pub fn len(&self) -> usize {