From fc89c0faccd59c764ebfcbd0cc01b2d4df1b6d35 Mon Sep 17 00:00:00 2001
From: Demian Katz <demian.katz@villanova.edu>
Date: Wed, 25 Mar 2015 14:00:58 -0400
Subject: [PATCH] Style fix.
---
themes/bootstrap3/js/facets.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/themes/bootstrap3/js/facets.js b/themes/bootstrap3/js/facets.js
index 563638c3390..852b5cb0a3e 100644
--- a/themes/bootstrap3/js/facets.js
+++ b/themes/bootstrap3/js/facets.js
@@ -1,4 +1,4 @@
-/*global htmlEncode, path */
+/*global htmlEncode, path, vufindString */
function buildFacetNodes(data, currentPath, allowExclude, excludeTitle, counts)
{
var json = [];
--
GitLab