Fix Reduce Everywhere label -> Preserve Semantics. (#145)

google · Nov 29, 2018 · bb8a863 · bb8a863
1 parent 279ad9d
commit bb8a863
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/server/src/main/java/com/graphicsfuzz/server/webui/WebUi.java b/server/src/main/java/com/graphicsfuzz/server/webui/WebUi.java
@@ -1317,9 +1317,9 @@ private void reduce(HttpServletRequest request, HttpServletResponse response)
       args.add("--error-string");
       args.add(errorRegex);
     }
-    final String reduceEverywhere = request.getParameter("preserve-semantics");
-    if (reduceEverywhere != null) {
-      if (reduceEverywhere.equals("on")) {
+    final String preserveSemantics = request.getParameter("preserve-semantics");
+    if (preserveSemantics != null) {
+      if (preserveSemantics.equals("on")) {
         args.add("--preserve-semantics");
       }
     }
@@ -1918,7 +1918,7 @@ private void htmlReductionForm(
         "<table class='reduce_table'>",
         "<tr>",
         "<td align='right' class=''>",
-        "<p class='no_space'>Reduce Everywhere:</p>",
+        "<p class='no_space'>Preserve Semantics:</p>",
         "</td>",
         "<td class='checkbox'>",
         (success