From 4f1e7176ffb8cfb7f9c77d710b61bc81571f865e Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Mon, 18 Mar 2024 11:46:21 +0200
Subject: [PATCH] Use Stdlib.Exit instead of Not_found for env_exists_mem_con1

---
 src/cdomains/apron/apronDomain.apron.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/cdomains/apron/apronDomain.apron.ml b/src/cdomains/apron/apronDomain.apron.ml
index bdec5db221..93f6511e47 100644
--- a/src/cdomains/apron/apronDomain.apron.ml
+++ b/src/cdomains/apron/apronDomain.apron.ml
@@ -643,10 +643,10 @@ struct
               (* Lincons1 from polyhedra may contain variable with zero coefficient.
                  These are silently not printed! *)
               if not (Coeff.is_zero coeff) && Environment.mem_var env var then
-                raise Not_found
+                raise Stdlib.Exit (* found *)
             ) con1;
           false
-        with Not_found ->
+        with Stdlib.Exit -> (* found *)
           true
       in
       let env_exists_mem_con1 env con1 =