Fix history deletion

1 files changed, 1 insertions, 0 deletions

diff --git a/public/js/cover.js b/public/js/cover.js
index 30a8e5c8..245127d1 100644
--- a/public/js/cover.js
+++ b/public/js/cover.js
@@ -17,6 +17,7 @@ var postHistoryToServer = historyModule.postHistoryToServer;
 var deleteServerHistory = historyModule.deleteServerHistory;
 var parseServerToHistory = historyModule.parseServerToHistory;
 var saveStorageHistoryToServer = historyModule.saveStorageHistoryToServer;
+var clearDuplicatedHistory = historyModule.clearDuplicatedHistory;
 
 var saveAs = require('file-saver').saveAs;
 var List = require('list.js');