From 64b400f2063f601715e41f60cfc4d1348caa32e2 Mon Sep 17 00:00:00 2001
From: Son Ho <hosonmarc@gmail.com>
Date: Wed, 18 Dec 2024 21:40:53 +0000
Subject: [PATCH] Make a minor fix

---
 src/Errors.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/Errors.ml b/src/Errors.ml
index 416bae2d..87bc27d2 100644
--- a/src/Errors.ml
+++ b/src/Errors.ml
@@ -83,9 +83,7 @@ let craise_opt_span_silent (file : string) (line : int)
   if !Config.fail_hard then
     let msg = format_error_message_with_file_line file line span msg in
     raise (Failure msg)
-  else
-    let () = push_error file line span msg in
-    raise (CFailure { span; file; line; msg })
+  else raise (CFailure { span; file; line; msg })
 
 let craise_silent (file : string) (line : int) (span : Meta.span) (msg : string)
     =