produce_everparse_error: use all arguments

project-everest · Oct 25, 2023 · 709b676 · 709b676
1 parent e195bb8
commit 709b676
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 =