From ba3d90eaf97dcc88a5826699a27a9033bb16bbbd Mon Sep 17 00:00:00 2001
From: Dan Stillman <dstillman@zotero.org>
Date: Tue, 29 Sep 2015 13:02:29 -0400
Subject: [PATCH] Make sure Zotero.Libraries.userLibrary doesn't get out of
 sync

https://github.com/zotero/zotero/commit/b976c84a29aa74f0dd8bd69c4e0d4847db9218ea#commitcomment-13492424
---
 chrome/content/zotero/xpcom/data/libraries.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/chrome/content/zotero/xpcom/data/libraries.js b/chrome/content/zotero/xpcom/data/libraries.js
index cec3e365b..62d25c123 100644
--- a/chrome/content/zotero/xpcom/data/libraries.js
+++ b/chrome/content/zotero/xpcom/data/libraries.js
@@ -34,10 +34,9 @@ Zotero.Libraries = new function () {
 		}
 	});
 	
-	let _userLibrary;
 	Zotero.defineProperty(this, 'userLibrary', {
 		get: function () {
-			return _userLibrary || (_userLibrary = Zotero.Libraries.get(this.userLibraryID));
+			return Zotero.Libraries.get(_userLibraryID);
 		}
 	})