From 9edec05ac4069962d92f60efc66b8305e2d08cc5 Mon Sep 17 00:00:00 2001
From: Thomas Voss <thomas.voss@humanwave.nl>
Date: Wed, 4 Sep 2024 17:22:14 +0200
Subject: Change XOR from ‘XOR’ to ‘~’
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/lexer.l | 19 ++++++++++---------
 1 file changed, 10 insertions(+), 9 deletions(-)

(limited to 'src')

diff --git a/src/lexer.l b/src/lexer.l
index ed8d599..832db79 100644
--- a/src/lexer.l
+++ b/src/lexer.l
@@ -17,15 +17,16 @@ extern const char *current_file;
 
 %%
 
-¬|!     { return NOT;   }
-∧|&&    { return AND;   }
-∨|\|\|  { return OR;    }
-⊻|⊕|XOR { return XOR;   }
-⇒|=>    { return IMPL;  }
-\<=>|⇔  { return EQUIV; }
-\(      { return OPAR;  }
-\)      { return CPAR;  }
-\n      { return EOL;   }
+¬|!    { return NOT;   }
+∧|&&   { return AND;   }
+∨|\|\| { return OR;    }
+⊻|⊕|~  { return XOR;   }
+⇒|=>   { return IMPL;  }
+\<=>|⇔ { return EQUIV; }
+\(     { return OPAR;  }
+\)     { return CPAR;  }
+\n     { return EOL;   }
+
 [a-zA-Z] {
 	yylval.ch = *yytext;
 	return IDENT;
-- 
cgit v1.2.3