Convert warnings to add the WARNING: title in the function.

This commit is contained in:
Sei Lisa 2014-08-05 15:55:49 +02:00
parent 58e22f77ce
commit 5773449edb
3 changed files with 5 additions and 5 deletions

View file

@ -10,7 +10,7 @@ import random
def warning(txt):
assert type(txt) == str
sys.stderr.write(txt + '\n')
sys.stderr.write('WARNING: ' + txt + '\n')
def isdigit(c):
return '0' <= c <= '9'