From 709b676eca4ee3d72be1829c4488784ae72811b0 Mon Sep 17 00:00:00 2001
From: Tahina Ramananandro <taramana@microsoft.com>
Date: Tue, 24 Oct 2023 21:19:21 -0700
Subject: [PATCH] produce_everparse_error: use all arguments

---
 src/3d/Target.fst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/3d/Target.fst b/src/3d/Target.fst
index b6afb7c66..fa6682359 100644
--- a/src/3d/Target.fst
+++ b/src/3d/Target.fst
@@ -1329,7 +1329,7 @@ let print_c_entry
     if HashingOptions.InputStreamBuffer? input_stream_binding
     then Printf.sprintf "void %sEverParseError(const char *StructName, const char *FieldName, const char *Reason)%s"
                          modul
-                         (if produce_everparse_error = Some ProduceEverParseError then "{}" else ";")
+                         (if produce_everparse_error = Some ProduceEverParseError then "{(void) StructName; (void) FieldName; (void) Reason;}" else ";")
     else ""
   in
   let impl =