diff --git a/src/plugins/value/domains/octagons.ml b/src/plugins/value/domains/octagons.ml
index 788b50d806d9634321b1df5cf8e6b7daa6f847d0..9248aeda41d0850d220596a0dd6b8dd5afbf606a 100644
--- a/src/plugins/value/domains/octagons.ml
+++ b/src/plugins/value/domains/octagons.ml
@@ -1103,6 +1103,7 @@ module Domain = struct
         (`Value state) octagons
 
     let assign _kinstr left_value expr assigned valuation state =
+      update valuation state >>- fun state ->
       match left_value.lval with
       | Var varinfo, NoOffset when Cil.isArithmeticType varinfo.vtype ->
         assign_variable varinfo expr assigned valuation state