diff options
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index 2d43596a..c84588ef 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -891,6 +891,7 @@ let library_functions direction = [ ("bitwise_or_bit", bitwise_binop_bit (||) "|"); ("bitwise_xor_bit", bitwise_binop_bit xor "^"); ("lt", compare_op (<)); + ("lt_signed", compare_op (<)); ("gt", compare_op (>)); ("lteq", compare_op (<=)); ("gteq", compare_op (>=)); |