1 files changed, 0 insertions, 6 deletions
diff --git a/src/output.h b/src/output.h
index 5882676d..2ecebfbf 100644
--- a/src/output.h
+++ b/src/output.h
@@ -76,12 +76,6 @@ void output_set_writer(int (*writer)(char));
 /// Return the current output writer.
 int (*output_get_writer())(char);
 
-/// Set the terminal name.
-void output_set_term(const wcstring &term);
-
-/// Return the terminal name.
-const wchar_t *output_get_term();
-
 /// Sets what colors are supported.
 enum { color_support_term256 = 1 << 0, color_support_term24bit = 1 << 1 };
 typedef unsigned int color_support_t;