diff --git a/src/plugins/eva/domains/octagons.ml b/src/plugins/eva/domains/octagons.ml
index 2c7c52fdfd51eee2cdb9efe77df4b378c019e6ca..0b2938d68ce617d764f73cbe7ffc024231b20c43 100644
--- a/src/plugins/eva/domains/octagons.ml
+++ b/src/plugins/eva/domains/octagons.ml
@@ -1013,7 +1013,8 @@ module Deps = struct
         let v_zone = if direct then deps.data else deps.indirect in
         Locations.Zone.intersects v_zone zone
       with Not_found ->
-        Self.abort "can not find %a for intersection with %a in@.%a"
+        Self.fatal
+          "Octagon domain: cannot find %a for intersection with %a in@.%a"
           Variable.pretty v Locations.Zone.pretty zone pretty (m,i)
     in
     let get_at_base b intervals (data_acc, indirect_acc) =