// Elyvilon retribution effect: heal hostile monsters that were about to
// be killed by you or one of your friends

// Elyvilon retribution effect: Heal hostile monsters that were about to
// be killed by you or one of your friends.

    if (mons_holiness(monster) != MH_NATURAL
         && mons_holiness(monster) != MH_HOLY
        || mons_friendly(monster)
        || !one_chance_in(10))
    {

    if (mons_friendly(monster) || !one_chance_in(10))

    }