# HG changeset patch
# User Robert Casties <casties@mpiwg-berlin.mpg.de>
# Date 1497636990 -7200
# Node ID 13fb56030fe832119bed3cc4de01d891acc32a98
# Parent  9cd25e1a58f01866090eb0e878803a97148bfabf
changed wording for roles in simple search results.

diff -r 9cd25e1a58f0 -r 13fb56030fe8 src/main/webapp/search/simpleSearch.xhtml
--- a/src/main/webapp/search/simpleSearch.xhtml	Fri Jun 16 19:21:44 2017 +0200
+++ b/src/main/webapp/search/simpleSearch.xhtml	Fri Jun 16 20:16:30 2017 +0200
@@ -86,7 +86,7 @@
 								value="#{SimpleSearch.resultSetNames}">
 								<h:column>
 									<h2>
-										Found in
+										With role
 										<h:outputText
 											value="#{SimpleSearch.resultMap[resultName].name}" />
 									</h2>