remove unused param

EshaanAgg · Jun 20, 2024 · 224c784 · 224c784
1 parent 72b6576
commit 224c784
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchexec/tablegenerator/react-table/src/utils/utils.js b/benchexec/tablegenerator/react-table/src/utils/utils.js
@@ -273,7 +273,7 @@ export const constructHashURL = (url, params = {}) => {
  * @param {Object} params - The parameters to be set or updated in the URL hash
  * @returns {void}
  */
-const setURLParameter = (params = {}, history = undefined) => {
+const setURLParameter = (params = {}) => {
   const { newUrl } = constructHashURL(window.location.href, params);
   window.history.pushState({}, "", newUrl);
   window.location.href = newUrl;