diff options
| author | Brian Campbell | 2019-05-15 15:51:10 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-15 15:51:10 +0100 |
| commit | 26ddcbb441e81a228de345669b8540b8318a08e8 (patch) | |
| tree | 092a091775d920a4e01958b6f39f71531362163e /src | |
| parent | 63512929202c68a6921233ec374a4ebfc53cda22 (diff) | |
94f445 introduced a new name for _ref_deref, add it to the effect rewriting
Diffstat (limited to 'src')
| -rw-r--r-- | src/rewrites.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rewrites.ml b/src/rewrites.ml index 7ff500b9..c10d931d 100644 --- a/src/rewrites.ml +++ b/src/rewrites.ml @@ -1903,7 +1903,7 @@ let rewrite_fix_val_specs env (Defs defs) = let (TypSchm_aux (TypSchm_ts (tq, typ), _)) = typschm in (* Add rreg effect to internal _reg_deref function (cf. bitfield.ml) *) let vs = - if string_of_id id = "_reg_deref" then + if string_of_id id = "_reg_deref" || string_of_id id = "__bitfield_deref" then add_eff_to_vs (mk_effect [BE_rreg]) (tq, typ) else (tq, typ) in typschm, Bindings.add id vs val_specs |