From 6ec5a1f306fb8221979ee1950e5006115a6b4aee Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulipchat.com>
Date: Thu, 16 Jan 2020 14:24:38 -0500
Subject: [PATCH] user_groups: Convert user_group_by_id_dict from Dict to
 IntDict.

Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
---
 static/js/user_groups.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/static/js/user_groups.js b/static/js/user_groups.js
index 6ff9a05300..5037703247 100644
--- a/static/js/user_groups.js
+++ b/static/js/user_groups.js
@@ -1,5 +1,5 @@
-const Dict = require('./dict').Dict;
 const FoldDict = require('./fold_dict').FoldDict;
+const IntDict = require('./int_dict').IntDict;
 
 let user_group_name_dict;
 let user_group_by_id_dict;
@@ -8,7 +8,7 @@ let user_group_by_id_dict;
 // can easily clear data.
 exports.init = function () {
     user_group_name_dict = new FoldDict();
-    user_group_by_id_dict = new Dict();
+    user_group_by_id_dict = new IntDict();
 };
 
 // WE INITIALIZE DATA STRUCTURES HERE!