# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1627591861 -7200
# Node ID 80815f2f12cf4a996ffc164a78137c7d6dcd2da1
# Parent  25cbaf04772855cd8aead18771465a4f00f5fa03
frontends (tools/misc): `FlagsHandler.__getitems__` now returns attribute

diff -r 25cbaf047728 -r 80815f2f12cf sat_frontends/tools/misc.py
--- a/sat_frontends/tools/misc.py	Thu Jul 29 22:51:01 2021 +0200
+++ b/sat_frontends/tools/misc.py	Thu Jul 29 22:51:01 2021 +0200
@@ -76,6 +76,9 @@
         self._used_flags.add(flag)
         return flag in self.flags
 
+    def __getitem__(self, flag):
+        return getattr(self, flag)
+
     def __len__(self):
         return len(self.flags)