diff options
| author | Robert Norton | 2017-04-04 10:37:10 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-06 12:35:10 +0100 |
| commit | c7b9060464ead8fac71824b151c25a968cb25302 (patch) | |
| tree | f6e29c1477774e94dff5bce11be94d813c25ad6a | |
| parent | 9c51012bc47d0a66ff898ae53359764f59816a02 (diff) | |
fix incorrect use of == in eq
| -rw-r--r-- | src/gen_lib/sail_values.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gen_lib/sail_values.ml b/src/gen_lib/sail_values.ml index a2f1286a..21aa48c3 100644 --- a/src/gen_lib/sail_values.ml +++ b/src/gen_lib/sail_values.ml @@ -1146,7 +1146,7 @@ let gt_range_vec = gt_range_vec_big let lteq_range_vec = lteq_range_vec_big let gteq_range_vec = gteq_range_vec_big -let eq (l,r) = if l == r then Vone else Vzero +let eq (l,r) = if l = r then Vone else Vzero let eq_vec_vec (l,r) = eq (to_num_big true l, to_num_big true r) let eq_vec (l,r) = eq_vec_vec(l,r) let eq_vec_range (l,r) = eq (to_num_big false l,r) |