Update src/lib/reasoners/sig_rel.mli

Co-authored-by: Basile Clément <[email protected]>
OCamlPro · Oct 13, 2023 · ef5fbdb · ef5fbdb
1 parent 95380b0
commit ef5fbdb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/lib/reasoners/sig_rel.mli b/src/lib/reasoners/sig_rel.mli
@@ -64,8 +64,8 @@ module type RELATION = sig
 
   val optimizing_split :
     t -> Uf.t -> Th_util.optimized_split -> Th_util.optimized_split option
-  (** [optimizing_split env uf opt_split] try to optimize the value
-      contains in [opt_split]. *)
+  (** [optimizing_split env uf opt_split] try to optimize the expression
+      contained in [opt_split]. *)
 
   val add : t -> Uf.t -> Shostak.Combine.r -> Expr.t ->
     t * (Shostak.Combine.r Xliteral.view * Explanation.t) list