From 224c784e17f430e2cb24e985ee4affe8bba0b654 Mon Sep 17 00:00:00 2001
From: EshaanAgg <96648934+EshaanAgg@users.noreply.github.com>
Date: Thu, 20 Jun 2024 18:46:45 +0530
Subject: [PATCH] remove unused param

---
 benchexec/tablegenerator/react-table/src/utils/utils.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/benchexec/tablegenerator/react-table/src/utils/utils.js b/benchexec/tablegenerator/react-table/src/utils/utils.js
index 834c995b6..4ba4fa007 100644
--- 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;