diff --git a/src/plugins/value/partitioning/auto_loop_unroll.ml b/src/plugins/value/partitioning/auto_loop_unroll.ml index 9ede36c8b414390ecf13be140d5f36a038abf733..377662d8cf9ccfe9608ab4a71f7e32568792e3e2 100644 --- a/src/plugins/value/partitioning/auto_loop_unroll.ml +++ b/src/plugins/value/partitioning/auto_loop_unroll.ml @@ -147,7 +147,7 @@ let classify loop_effect lval = else (* If the address of the variable is taken, it could be modified within the loop. We suppose here that this is not the case, but this could - lead to some loop unrolling. *) + lead to some untimely loop unrolling. *) Constant | Mem _, _ -> Unsuitable (* Pointers are not supported by the heuristic. *) and is_const_offset = function