diff --git a/src/plugins/eva/engine/evaluation.ml b/src/plugins/eva/engine/evaluation.ml
index 2226ae760c9f8e4fb479b46d1d769c9fccbd2c02..cbb95ced117ad297b74bf51bc738689398b55540 100644
--- a/src/plugins/eva/engine/evaluation.ml
+++ b/src/plugins/eva/engine/evaluation.ml
@@ -384,7 +384,7 @@ module Make
 
   let may_overflow = function
     | Shiftlt | Mult | MinusPP | MinusPI | PlusPI
-    | PlusA | Div | Mod | MinusA -> true
+    | PlusA | MinusA | Div -> true
     | _ -> false
 
   let truncate_bound overflow_kind bound bound_kind expr value =