linter

OCamlPro · Aug 14, 2024 · 106e60f · 106e60f
1 parent 1026747
commit 106e60f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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 () = {