From 941da762dda23886e13b4a53a6341c80c1eca5ce Mon Sep 17 00:00:00 2001
From: Juan Miguel Carceller <22276694+jmcarcell@users.noreply.github.com>
Date: Thu, 5 Sep 2024 13:06:19 +0200
Subject: [PATCH] Remove a few unused properties (#232)

---
 k4FWCore/scripts/k4run | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/k4FWCore/scripts/k4run b/k4FWCore/scripts/k4run
index 3facf5d5..12d24df2 100755
--- a/k4FWCore/scripts/k4run
+++ b/k4FWCore/scripts/k4run
@@ -9,7 +9,6 @@ from k4FWCore.utils import load_file
 
 # these default properties are filtered as otherwise they will clutter the argument list
 FILTER_GAUDI_PROPS = [
-    "ContextService",
     "Cardinality",
     "Context",
     "CounterList",
@@ -21,8 +20,6 @@ FILTER_GAUDI_PROPS = [
     "ExtraInputs",
     "ExtraOutputs",
     "FilterCircularDependencies",
-    "StatEntityList",
-    "IsIOBound",
     "MonitorService",
     "NeededResources",
     "PropertiesPrint",
@@ -33,7 +30,6 @@ FILTER_GAUDI_PROPS = [
     "StatPrint",
     "StatTableHeader",
     "Timeline",
-    "TypePrint",
     "UseEfficiencyRowFormat",
     "EnableFaultHandler",
     "InhibitPathes",
@@ -43,7 +39,6 @@ FILTER_GAUDI_PROPS = [
     "DataAccessName",
     "DataFaultName",
     "RootCLID",
-    "PrintEmptyCounters",
     "Blocking",
     "VetoObjects",
     "CheckToolDeps",