Signed-off-by: lilinjie <lilinjie@uniontech.com>
This commit is contained in:
lilinjie 2023-04-04 13:51:30 +08:00
parent 1f0d28bfe2
commit 665a69941d

View File

@ -227,7 +227,7 @@ class LevelDeclWrapper(Wrapper[LevelDecl]):
def __eq__(self, other):
# non-MLS policies have no level declarations so there
# should be no AttributeError possiblity here
# should be no AttributeError possibility here
return self.sensitivity == other.sensitivity
def __lt__(self, other):