From b74f91663174cc2cbb68cf926e45b9d93e8186ad Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko <jonathan.protzenko@gmail.com>
Date: Wed, 17 Apr 2024 09:11:49 -0700
Subject: [PATCH] Don't error out if a replacement is unused

---
 lib/Builtin.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Builtin.ml b/lib/Builtin.ml
index 1afdf95..c56755c 100644
--- a/lib/Builtin.ml
+++ b/lib/Builtin.ml
@@ -385,5 +385,5 @@ let check () =
   List.iter (fun (lid, (_, seen)) ->
     if !seen = Unused then
       let open Krml in
-      Warn.fatal_error "Unused replacement: %a" PrintAst.Ops.plid lid
+      KPrint.bprintf "Unused replacement: %a" PrintAst.Ops.plid lid
   ) replacements