From c67d3c49e58a3affb17259c36176fb8b947cda8d Mon Sep 17 00:00:00 2001
From: Ulf Magnusson <ulfalizer@gmail.com>
Date: Fri, 15 Jun 2018 00:35:42 +0200
Subject: menuconfig: Remove redundant int() argument

Base 10 is the default.
---
 menuconfig.py | 4 +---
 1 file changed, 1 insertion(+), 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
 
-- 
cgit v1.2.3