aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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},
};