diff --git a/check/check.py b/check/check.py index 63b9d21..de2c3d0 100644 --- a/check/check.py +++ b/check/check.py @@ -435,21 +435,27 @@ def main(): print("", file=fout) print("