Have a question about how the TVTropes wiki works? No one knows this community better than the people in it, so ask away! Ask the Tropers is the page you come to when you have a question burning in your brain and the support pages didn't help.
It's not for everything, though. For a list of all the resources for your questions, click here. You can also go to this Directory thread
for ongoing cleanup projects.
No, it would not be an edit war. However, if the other troper changed it back to Alice, then it would be an edit war, and you would be guilty too if you changed it to Bob again without any discussion.
To clarify, it's an edit war if an edit gets undone and you re-do the same edit (or a similar one).
In your example, your second edit isn't the same as your first one: first you add the base example, then you correct a different piece of information.
Right; an edit war is about going back-and-forth over the same edit. Say, if you wrote the example, they added the line, and you deleted that line, that may be an edit war; but the scenario you describe isn't.
Current Project: Incorruptible Pure Pureness
For instance, let's say I'm editing a page for a show called Alice and Bob. I add an example like this:
Another troper then comes along and adds, '...and in "Another Episode", where he licks Alice's face."
However, I've seen that episode and know that it was actually Bob whose face got licked by Fido, so I edit "Alice's" to "Bob's", with the Edit Reason: "It was Bob who got licked by Fido".
Would that be an Edit War?