1 files changed, 0 insertions, 13 deletions
diff --git a/src/simulator/main.c b/src/simulator/main.c
index 47dd49f4..bdad1a6a 100644
--- a/src/simulator/main.c
+++ b/src/simulator/main.c
@@ -85,19 +85,6 @@ timer_read_time(void)
  * Turn stdin/stdout into serial console
  ****************************************************************/
 
-// XXX
-char *
-console_get_input(uint8_t *plen)
-{
-    *plen = 0;
-    return NULL;
-}
-
-void
-console_pop_input(uint8_t len)
-{
-}
-
 // Return an output buffer that the caller may fill with transmit messages
 char *
 console_get_output(uint8_t len)