MichaelHoffmann/AGORA — Issue #176: bug: deleting of arguments is possible even though there is an objection
Author: MichaelHoffmann
Created: 2012-01-16 20:40:49+00:00
State: open

Refers to map test-132: The objection to the enabler was justified by an argument. The reason of the argument had an objection. In this situation, it was possible to delete the argument in spite of the objection. The result is visible in test-132.

We need our usual error message for this situation:
"You cannot delete a statement that is supported, a statement whose enabler is supported, or the main claim."

However, this error message is not in translation.xml, it seems to be hard coded. I will open up another issue because the formulation should be changed.