From 9bfbe426655ee167ccc1ee2203713eeb15f3b727 Mon Sep 17 00:00:00 2001
From: Jori Lallo <jtlallo@gmail.com>
Date: Sun, 16 Jul 2017 11:54:23 -0700
Subject: [PATCH] Fix linting

---
 frontend/stores/DocumentsStore.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/frontend/stores/DocumentsStore.js b/frontend/stores/DocumentsStore.js
index b303f7d5a..19e7ae975 100644
--- a/frontend/stores/DocumentsStore.js
+++ b/frontend/stores/DocumentsStore.js
@@ -18,6 +18,10 @@ import CacheStore from 'stores/CacheStore';
 
 const DOCUMENTS_CACHE_KEY = 'DOCUMENTS_CACHE_KEY';
 
+type Options = {
+  cache: CacheStore,
+};
+
 class DocumentsStore {
   @observable recentlyViewedIds: Array<string> = [];
   @observable data: Map<string, Document> = new ObservableMap([]);