tree ba97ee4c33a3890f57a32eedf86d5e50326f7e4f
parent e93a0717746c859d85890cc201f5f57ec0bb2449
author Kolja Brix <kolja.brix@rwth-aachen.de> 1639686047 +0000
committer Rasmus Munk Larsen <rmlarsen@google.com> 1639686047 +0000

Simplify logical_xor()