def getCompiledTools(self):
    for counter, tool in reversed(list(enumerate(conf.tools))):
      if tool.name != self.userSettings['compiled tools']: del(conf.tools[counter])

  # Add a previously omitted tool.
dataset/ETHPy150Open gkno/gkno_launcher/src/gkno/adminUtils.py/adminUtils.getCompiledTools/operator `not in` -> `!=`