diff --git a/src/common/framework/analysisState.ml b/src/common/framework/analysisState.ml
index e9cbafa8a4..4dd4744967 100644
--- a/src/common/framework/analysisState.ml
+++ b/src/common/framework/analysisState.ml
@@ -41,5 +41,6 @@ let unsound_both_branches_dead: bool option ref = ref None
 (** [Some true] if unsound both branches dead occurs in analysis results.
     [Some false] if it doesn't occur.
     [None] if [ana.dead-code.branches] option is disabled and this isn't checked. *)
+
 (* Comparison mode where blobs with bot content that are not zero-initalized are considered equivalent to top-level bot *)
 let bot_in_blob_leq_bot = ref false