1 files changed, 0 insertions, 27 deletions
diff --git a/src/stm32f4-disco/ao_disco.c b/src/stm32f4-disco/ao_disco.c
index ab3c0340..47948a65 100644
--- a/src/stm32f4-disco/ao_disco.c
+++ b/src/stm32f4-disco/ao_disco.c
@@ -13,34 +13,8 @@
  */
 
 #include <ao.h>
-#include <ao_scheme.h>
 #include <ao_usb.h>
 
-static void scheme_cmd() {
-	ao_scheme_read_eval_print(stdin, stdout, false);
-}
-
-static const struct ao_cmds scheme_cmds[] = {
-	{ scheme_cmd,	"l\0Run scheme interpreter" },
-	{ 0, 0 }
-};
-
-int
-_ao_scheme_getc(void)
-{
-	static uint8_t	at_eol;
-	int c;
-
-	if (at_eol) {
-		ao_cmd_readline(ao_scheme_read_list ? "- " : "> ");
-		at_eol = 0;
-	}
-	c = (unsigned char) ao_cmd_lex();
-	if (c == '\n')
-		at_eol = 1;
-	return c;
-}
-
 void main(void)
 {
 	ao_clock_init();
@@ -51,6 +25,5 @@ void main(void)
 	ao_usart_init();
 	ao_usb_init();
 	ao_cmd_init();
-	ao_cmd_register(scheme_cmds);
 	ao_start_scheduler();
 }