tree 39582968693c8659c29546c70f3678d6dbc74d5f
parent cc0b231a7e57711622c6fd8abe6e47b6eb82521f
author Akron <nils@diewald-online.de> 1777469939 +0200
committer Akron <nils@diewald-online.de> 1778233274 +0200

Preserve negation of a single operand in a VC (fixes #178)

Change-Id: I894618d6fa610804949394580905c51fde8535fc