Don't error out if a replacement is unused

AeneasVerif · Apr 17, 2024 · b74f916 · b74f916
1 parent 83de43b
commit b74f916
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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