|
From: Julian S. <se...@so...> - 2023-01-04 16:44:55
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=394ca9b400d7b69942967cce0fa89a344558c8c5 commit 394ca9b400d7b69942967cce0fa89a344558c8c5 Author: Julian Seward <js...@ac...> Date: Wed Jan 4 17:43:21 2023 +0100 Remove a debugging line `if (0) ..` that mistakenly got landed in fa3a9cc43c22593c70796a99aff33bb9436ad448. Diff: --- dhat/dh_main.c | 1 - 1 file changed, 1 deletion(-) diff --git a/dhat/dh_main.c b/dhat/dh_main.c index 5ae3fd29ac..6f15ae82e3 100644 --- a/dhat/dh_main.c +++ b/dhat/dh_main.c @@ -1245,7 +1245,6 @@ static Bool dh_handle_client_request(ThreadId tid, UWord* arg, UWord* ret) } default: - if (0) VG_(message)( Vg_UserMsg, "Warning: unknown DHAT client request code %llx\n", |