From 2d1a333d6c1e8571ca91d29333c284104153b0ef Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 10 May 2019 19:53:53 +0200
Subject: oops

---
 dhall_syntax/src/core/map.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dhall_syntax/src/core/map.rs')

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 {
-- 
cgit v1.2.3