tree ceb906bdc0bf272de14ee245263b09b0ba5438d5
parent 422cd252dc86219502127d5fa8f8625424c752ca
author Akron <nils@diewald-online.de> 1779203082 +0200
committer Akron <nils@diewald-online.de> 1779203082 +0200

Simplify rewrite reporting to whole terms only

Change-Id: I412d6898efe31bb5d26435b3207133075f6fa3a5