Fix useless banner alias

This commit is contained in:
Terencio Agozzino 2018-05-03 19:56:31 +02:00
parent 906c7951df
commit ab5a969e23

View file

@ -79,5 +79,4 @@ banner5 = """
""" """
def get_banner(): def get_banner():
banners = [banner1, banner2, banner3, banner4, banner5] return random.choice([banner1, banner2, banner3, banner4, banner5])
return random.choice(banners)