diff --git a/infer/src/IR/Sil.re b/infer/src/IR/Sil.re
index e79bac882..702a7bafb 100644
--- a/infer/src/IR/Sil.re
+++ b/infer/src/IR/Sil.re
@@ -2159,7 +2159,7 @@ let compare_structural_instr instr1 instr2 exp_map => {
       if (n != 0) {
         n
       } else {
-        let n = Core.Std.Bool.compare true_branch1 true_branch2;
+        let n = Bool.compare true_branch1 true_branch2;
         if (n != 0) {
           n
         } else {
diff --git a/infer/src/base/Utils.ml b/infer/src/base/Utils.ml
index b8cb76d2e..4e6d28e40 100644
--- a/infer/src/base/Utils.ml
+++ b/infer/src/base/Utils.ml
@@ -10,6 +10,7 @@
 
 (** General utility functions and definition with global scope *)
 
+module Bool = Core.Std.Bool
 module Int = Core.Std.Int
 module String = Core.Std.String
 
diff --git a/infer/src/base/Utils.mli b/infer/src/base/Utils.mli
index b16f94b06..04a3cec11 100644
--- a/infer/src/base/Utils.mli
+++ b/infer/src/base/Utils.mli
@@ -10,6 +10,7 @@
 
 (** General utility functions *)
 
+module Bool = Core.Std.Bool
 module Int = Core.Std.Int
 module String = Core.Std.String
 
diff --git a/infer/src/checkers/checkTraceCallSequence.ml b/infer/src/checkers/checkTraceCallSequence.ml
index bde3d8abc..4cc2e981c 100644
--- a/infer/src/checkers/checkTraceCallSequence.ml
+++ b/infer/src/checkers/checkTraceCallSequence.ml
@@ -152,7 +152,7 @@ module State = struct
           let elem' = Elem.set_env elem env' in
           [elem']
       | Some b' ->
-          if Core.Std.Bool.equal b b' then [elem]
+          if Bool.equal b b' then [elem]
           else [] in
     map2 f s