From 7ef74779ce3dec6012757d82a47c2ed47d4237bc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Basile=20Cl=C3=A9ment?= <basile.clement@ocamlpro.com>
Date: Wed, 12 Jun 2024 19:11:52 +0200
Subject: [PATCH] Mention exception

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

diff --git a/src/lib/reasoners/intervals_intf.ml b/src/lib/reasoners/intervals_intf.ml
index 5eb954afe..703444fb6 100644
--- a/src/lib/reasoners/intervals_intf.ml
+++ b/src/lib/reasoners/intervals_intf.ml
@@ -652,7 +652,9 @@ module type Ring = sig
 
   val scale : value -> t -> t
   (** [scale v u] evaluates to {m \{ v \times x \mid x \in S \}} when [u]
-      evaluates to {m S}. *)
+      evaluates to {m S}.
+
+      @raise Invalid_argument if [v] is zero. *)
 
   val mul : t -> t -> t
   (** [mul u1 u2] evaluates to {m \{ x \times y \mid x \in S_1, y \in S_2 \}}