From 106e60f53c53994bb4550582e40f712832c02192 Mon Sep 17 00:00:00 2001
From: Pierre Villemot <pierre.villemot@ocamlpro.com>
Date: Wed, 14 Aug 2024 17:35:48 +0200
Subject: [PATCH] linter

---
 src/lib/reasoners/uf.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/lib/reasoners/uf.ml b/src/lib/reasoners/uf.ml
index 86448bcd9..650683582 100644
--- a/src/lib/reasoners/uf.ml
+++ b/src/lib/reasoners/uf.ml
@@ -1144,7 +1144,8 @@ module Cache = struct
 
     abstracts: (r, Expr.t) Hashtbl.t;
     (** Contains all the abstract values generated. This cache is necessary
-        to ensure we don't generate twice an abstract value for a given symbol. *)
+        to ensure we don't generate twice an abstract value for a given
+        symbol. *)
   }
 
   let mk () = {