aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-09-05 01:10:42 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-09-05 01:10:42 +0200
commit57cd660271b9d2b014d5276f146f322e1aeeee2e (patch)
tree27db47712e56d1d6fb7c3042e56e25a838f2537c
parent7629cbc4e5e62cb73130677fde2d14a93696a27f (diff)
Use the correct symbol for XOR
-rw-r--r--src/main.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.c b/src/main.c
index 3854640..3e48469 100644
--- a/src/main.c
+++ b/src/main.c
@@ -377,7 +377,7 @@ eqnprint(eqn_t *a)
[NOT - NOT] = {"!", 1},
[OR - NOT] = {"||", 2},
[AND - NOT] = {"&&", 2},
- [XOR - NOT] = {"^", 1},
+ [XOR - NOT] = {"~", 1},
[IMPL - NOT] = {"=>", 2},
[EQUIV - NOT] = {"<=>", 3},
};