Thursday's decision did not touch on other types of house demolitions.
However, there are also many non-combat situations in which house demolition has been used.
Short of house demolition, that incredibly dangerous pinch point cannot be fixed.
"There was never any substantial evidence that house demolitions provided a deterrent effect," he said.
The effectiveness of house demolitions as a deterrence has been questioned.
Israeli use of house demolitions has been particularly controversial.
There were house demolitions taking place all over the border strip and the activists had no time to do anything else.
AI now opposes house demolition as a governmental punishment of political opponents.
The use of house demolition was also prescribed in a number of states for offences against the social order.
But as with many military punishments intended to deter violence, it is impossible to say whether house demolitions succeed.