Appease mypy and pylint

whonore · Jan 4, 2025 · 08de648 · 08de648
1 parent 299d0ac
commit 08de648
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/.pylintrc b/.pylintrc
@@ -171,6 +171,7 @@ disable=blacklisted-name,
         too-many-lines,
         too-many-locals,
         too-many-nested-blocks,
+        too-many-positional-arguments,
         too-many-public-methods,
         too-many-return-statements,
         too-many-statements,

diff --git a/python/xmlInterface.py b/python/xmlInterface.py
@@ -798,9 +798,9 @@ def __init__(
                 "goal": self._to_goal,
                 "goals": self._to_goals,
                 "evar": self._to_evar,
-                "option_value": self._to_option_value,  # type: ignore
+                "option_value": self._to_option_value,
                 "option_state": self._to_option_state,
-                "status": self._to_status,  # type: ignore
+                "status": self._to_status,
                 "coq_info": self._to_coq_info,
                 "message": self._to_message,
                 "feedback": self._to_feedback,
@@ -1156,10 +1156,10 @@ def __init__(
                 "goal": self._to_goal,
                 "goals": self._to_goals,
                 "evar": self._to_evar,
-                "option_value": self._to_option_value,  # type: ignore
+                "option_value": self._to_option_value,
                 "option_state": self._to_option_state,
                 "state_id": self._to_state_id,
-                "status": self._to_status,  # type: ignore
+                "status": self._to_status,
                 "coq_info": self._to_coq_info,
                 "message": self._to_message,
                 "feedback": self._to_feedback,