From 8f5a891bedf6d029aedf00c02907f16b580756c0 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Fri, 11 Oct 2024 12:11:01 +0300
Subject: [PATCH] Add parentheses to BoolDomain.leq-s to make precedence
 explicit

It was already correct, but not obvious without looking up OCaml operator precedence.
---
 src/domain/boolDomain.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/domain/boolDomain.ml b/src/domain/boolDomain.ml
index 9298460c6a..77fcf7e108 100644
--- a/src/domain/boolDomain.ml
+++ b/src/domain/boolDomain.ml
@@ -45,7 +45,7 @@ struct
   let is_bot x = x = false
   let top () = true
   let is_top x = x = true
-  let leq x y = x = y || y
+  let leq x y = (x = y) || y
   let join = (||)
   let widen = (||)
   let meet = (&&)
@@ -67,7 +67,7 @@ struct
   let is_bot x = x = true
   let top () = false
   let is_top x = x = false
-  let leq x y = x = y || x
+  let leq x y = (x = y) || x
   let join = (&&)
   let widen = (&&)
   let meet = (||)