From dd9a8e82566223ff789c6a8ecbf841f03adac351 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Sun, 31 Dec 2023 18:54:23 +0400
Subject: [PATCH] modifs.mineures sans commentaires

---
 php/src_base/ValueException.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/php/src_base/ValueException.php b/php/src_base/ValueException.php
index 10498ee..11e8b4c 100644
--- a/php/src_base/ValueException.php
+++ b/php/src_base/ValueException.php
@@ -35,7 +35,7 @@ class ValueException extends UserException {
   }
 
   static final function null(?string $kind=null, ?string $prefix=null, ?string $message=null): self {
-    return new static(self::message(null, $message, $kind, $prefix, " is null"));
+    return new static(self::message(null, $message, $kind, $prefix, " should not be null"));
   }
 
   static final function invalid_kind($value=null, ?string $kind=null, ?string $prefix=null, ?string $message=null): self {