Index: src/value/eval_terms.ml
===================================================================
--- src/value/eval_terms.ml	(revision 23860)
+++ src/value/eval_terms.ml	(working copy)
@@ -879,7 +879,7 @@
            | [] | _ :: _ :: _ -> raise Not_an_exact_loc
            | [loc] ->
                let loc = Locations.make_loc loc (Bit_utils.sizeof typ) in
-               if not (valid_cardinal_zero_or_one ~for_writing:false loc)
+               if not (cardinal_zero_or_one loc)
                then raise Not_an_exact_loc;
                typ, loc
         )
@@ -1117,7 +1117,7 @@
           let aux typ env lval =
             try
               let loc = make_loc lval (Bit_utils.sizeof typ) in
-              if valid_cardinal_zero_or_one ~for_writing loc then
+              if cardinal_zero_or_one loc then
                 let state =
                   Eval_exprs.reduce_by_valid_loc ~positive ~for_writing
                     loc typ (env_current_state env)