Make sure to map structuralNotEq to NotEq

This commit is contained in:
Ayaz Hafiz 2022-10-10 19:36:45 -05:00
parent 9f099830db
commit 595433b8c8
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -310,7 +310,7 @@ map_symbol_to_lowlevel! {
NumShiftRightZfBy <= NUM_SHIFT_RIGHT_ZERO_FILL,
NumToStr <= NUM_TO_STR,
Eq <= BOOL_STRUCTURAL_EQ,
NotEq <= BOOL_NEQ,
NotEq <= BOOL_STRUCTURAL_NOT_EQ,
And <= BOOL_AND,
Or <= BOOL_OR,
Not <= BOOL_NOT,