diff options
| author | Alasdair Armstrong | 2020-03-02 19:37:21 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2020-03-02 19:37:21 +0000 |
| commit | 8359701a67e2e2fd1026ef958d1395807a93489c (patch) | |
| tree | 5eb01c767f79e4a70784f800d07dee694494f006 /src | |
| parent | c81f2fbdeef670e8cbd6771ecd22ce1e64f2306b (diff) | |
Fix jenkins
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); |