From a5bc93df7d641026b5536b2bc429540a8f55e568 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Sat, 12 Oct 2024 13:34:02 -0400 Subject: Minor tweak --- tomo.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tomo.c b/tomo.c index 5e695c89..79bcaf66 100644 --- a/tomo.c +++ b/tomo.c @@ -324,7 +324,7 @@ void build_library(Text_t lib_dir_name) errx(WEXITSTATUS(status), "Failed to run `patchelf` to rename dynamic symbols with library prefix"); if (verbose) - CORD_printf("Successfully renamed symbols with library prefix!\n"); + printf("Successfully renamed symbols with library prefix!\n"); unlink("symbol_renames.txt"); -- cgit v1.2.3