diff options
| author | Robert Norton | 2017-07-06 11:56:42 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-07-06 11:56:42 +0100 |
| commit | bf58dee32245592bfd85e4eaab959fb4caffea6c (patch) | |
| tree | d8538363638be58417b860bcb3f3b021fb1fc678 /src/lem_interp | |
| parent | 1dec5b825ea9ec6b375c634d73cbce0cfc0bd24f (diff) | |
fix interpreter lteq/gteq for range/vec.
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index 353379fe..84dec140 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -1066,8 +1066,8 @@ let library_functions direction = [ ("gt_range_vec", compare_op_range_vec (>) Signed); ("lteq_vec_range", compare_op_vec_range (<=) Signed); ("gteq_vec_range", compare_op_vec_range (>=) Signed); - ("lteq_range_vec", compare_op_vec_range (<=) Signed); - ("gteq_range_vec", compare_op_vec_range (>=) Signed); + ("lteq_range_vec", compare_op_range_vec (<=) Signed); + ("gteq_range_vec", compare_op_range_vec (>=) Signed); ("lteq_vec", compare_op_vec (<=) Signed); ("gteq_vec", compare_op_vec (>=) Signed); ("lt_vec_signed", compare_op_vec (<) Signed); |