diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/value.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/value.ml b/src/value.ml index 11cda94b..7dfa380d 100644 --- a/src/value.ml +++ b/src/value.ml @@ -701,7 +701,7 @@ let primops = ref ("ones", value_ones); ("shiftr", value_shiftr); ("shiftl", value_shiftl); - ("arith_shiftr", value_shiftr); + ("arith_shiftr", value_arith_shiftr); ("shift_bits_left", value_shift_bits_left); ("shift_bits_right", value_shift_bits_right); ("add_int", value_add_int); |