(lst)
| 2938 | |
| 2939 | |
| 2940 | def dedup_list(lst): |
| 2941 | # Since we require python 3.6, that ordering of dictionaries is guaranteed |
| 2942 | # to be insertion order so we can use 'dict' here but not 'set'. |
| 2943 | return list(dict.fromkeys(lst)) |
| 2944 | |
| 2945 | |
| 2946 | def check_output_file(f): |