menuconfig: Remove redundant int() argument

Base 10 is the default.

1 files changed, 1 insertions, 3 deletions

diff --git a/menuconfig.py b/menuconfig.py
index bf8396d..9459801 100755
--- a/menuconfig.py
+++ b/menuconfig.py
@@ -2355,9 +2355,8 @@ def _is_num(name):
     # they get their name as their value when the symbol is undefined.
 
     try:
-        int(name, 10)
+        int(name)
         return True
-
     except ValueError:
         if not name.startswith(("0x", "0X")):
             return False
@@ -2365,7 +2364,6 @@ def _is_num(name):
         try:
             int(name, 16)
             return True
-
         except ValueError:
             return False