Fix the + operator that doesn't work with python dict_keys objects
We've been seeing this error message:
File "/home/detchar/etc/ligo-channel-lists/tools/clf-check", line 221, in <module>
for key in set(missing.keys()+bad_rates.keys()):
TypeError: unsupported operand type(s) for +: 'dict_keys' and 'dict_keys'
This MR replaces the +
operator with a |
operator, which is supposed to do what I think the intended operation is trying to do. Namely, join the two dict_keys
objects into a single object.