diff -r 39c447e03dbc -r 3e2b4bb286e7 rust/rhg/src/ui.rs
--- a/rust/rhg/src/ui.rs	Thu Feb 10 12:59:32 2022 +0100
+++ b/rust/rhg/src/ui.rs	Tue Feb 08 14:20:58 2022 +0100
@@ -57,11 +57,6 @@
 
     /// Write bytes to stdout
     pub fn write_stdout(&self, bytes: &[u8]) -> Result<(), UiError> {
-        // Hack to silence "unused" warnings
-        if false {
-            return self.write_stdout_labelled(bytes, "");
-        }
-
         let mut stdout = self.stdout.lock();
 
         stdout.write_all(bytes).or_else(handle_stdout_error)?;