diff --git a/Makefile b/Makefile
index 13e55a720..03ef4aa4a 100644
--- a/Makefile
+++ b/Makefile
@@ -301,7 +301,6 @@ rvfi_preserve_fns=-c_preserve rvfi_set_instr_packet \
   -c_preserve rvfi_get_int_data \
   -c_preserve rvfi_zero_exec_packet \
   -c_preserve rvfi_halt_exec_packet \
-  -c_preserve print_rvfi_exec \
   -c_preserve print_instr_packet \
   -c_preserve print_rvfi_exec