1.1 --- a/lplc Thu Mar 02 17:29:06 2017 +0100
1.2 +++ b/lplc Thu Mar 02 23:57:55 2017 +0100
1.3 @@ -203,7 +203,7 @@
1.4 elif arg in ("-t", "--no-timing"): timings = False
1.5 elif arg in ("-tb", "--traceback"): traceback = True
1.6 elif arg.startswith("-o"): l, needed = start_arg_list(outputs, arg, "-o", 1)
1.7 - elif arg == ("-v", "--verbose"): verbose = True
1.8 + elif arg in ("-v", "--verbose"): verbose = True
1.9 elif arg.startswith("-W"): l, needed = start_arg_list(warnings, arg, "-W", 1)
1.10 elif arg.startswith("-"): unrecognised.append(arg)
1.11 else: