From d8f568b240a3eef6ea86bd397d7bfd1d72a35964 Mon Sep 17 00:00:00 2001
From: Marcel Garus <marcel.garus@gmail.com>
Date: Thu, 26 Oct 2023 18:59:23 +0200
Subject: [PATCH] Update packages/Builtins/_.candy

Co-authored-by: Jonas Wanke <contact@jonas-wanke.com>
---
 packages/Builtins/_.candy | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/packages/Builtins/_.candy b/packages/Builtins/_.candy
index 36e9ae242..85b633d0b 100644
--- a/packages/Builtins/_.candy
+++ b/packages/Builtins/_.candy
@@ -171,8 +171,9 @@ intBitLength value :=
   # intBitLength -3 => 2
   # ```
   needs (value | typeIs Int)
-  ## Ensure `value` is non-negative.
-  needs (value | ✨.intAdd 1 | ✨.intCompareTo 0 | ✨.equals Greater)
+  needs
+    (value | ✨.intAdd 1 | ✨.intCompareTo 0 | ✨.equals Greater)
+    "Value must be non-negative"
   ✨.intBitLength value
 
 intBitwiseAnd a b :=