# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1488495475 -3600
# Node ID 6843c1de351807e51a1efc4eacae25a8283c0681
# Parent  e7ff204de68fdcb5a9269415ac15b01a134a8f96
Fixed verbose option detection.

diff -r e7ff204de68f -r 6843c1de3518 lplc
--- a/lplc	Thu Mar 02 17:29:06 2017 +0100
+++ b/lplc	Thu Mar 02 23:57:55 2017 +0100
@@ -203,7 +203,7 @@
         elif arg in ("-t", "--no-timing"): timings = False
         elif arg in ("-tb", "--traceback"): traceback = True
         elif arg.startswith("-o"): l, needed = start_arg_list(outputs, arg, "-o", 1)
-        elif arg == ("-v", "--verbose"): verbose = True
+        elif arg in ("-v", "--verbose"): verbose = True
         elif arg.startswith("-W"): l, needed = start_arg_list(warnings, arg, "-W", 1)
         elif arg.startswith("-"): unrecognised.append(arg)
         else: