diff options
| author | Nadrieril | 2019-05-10 19:53:53 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-10 19:53:53 +0200 |
| commit | 2d1a333d6c1e8571ca91d29333c284104153b0ef (patch) | |
| tree | 56fca193d7649baf34ba7d5b40d1d2032fe600e8 | |
| parent | a8e696f62f14296b94964adb1946d7e2b5ef5ebd (diff) | |
oops
| -rw-r--r-- | dhall_syntax/src/core/map.rs | 1 |
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 { |