Missed doc annotation

bclement-ocp · Jun 12, 2024 · dfd4be7 · dfd4be7
1 parent 4ab06de
commit dfd4be7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/lib/reasoners/intervals.mli b/src/lib/reasoners/intervals.mli
@@ -99,7 +99,9 @@ module Legacy : sig
       Supposing input bounds (b1, b2), this will return
       (const + coef * b1, const + coef * b2).
       This function is useful to avoid the incorrect roundings that
-      can take place when scaling down an integer range. *)
+      can take place when scaling down an integer range.
+
+      @raise Invalid_argument if [coef] is zero. *)
 
   val pretty_print : t Fmt.t