tree c719c87ae5e7d95430107124f2f35c045372c27c
parent 764a448c932e9ed4f569d8d5b4f8a1690898aaaf
author Akron <nils@diewald-online.de> 1602578109 +0200
committer Akron <nils@diewald-online.de> 1602578109 +0200

Fix VC fragments for redundant constraints

Change-Id: Iff83540e11fd6e3bcb8dba3b789eea9fc7dcb344