From 26ddcbb441e81a228de345669b8540b8318a08e8 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Wed, 15 May 2019 15:51:10 +0100
Subject: 94f445 introduced a new name for _ref_deref, add it to the effect
 rewriting

---
 src/rewrites.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3