Update dev_menu.py

Co-Authored-By: larroy <[email protected]>
apache · Dec 6, 2018 · 4af7b1c · 4af7b1c
1 parent e0309f4
commit 4af7b1c
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/dev_menu.py b/dev_menu.py
@@ -151,9 +151,7 @@ def clip(x, mini, maxi):
 
 @retry((ValueError, RuntimeError), 3, delay_s = 0)
 def show_menu(items: List[str], header=None) -> int:
-    print()
-    print('-- MXNet dev menu --')
-    print()
+    print('\n-- MXNet dev menu --\n')
     def hr():
         print(''.join(['-']*30))
     if header: