From 39b6e279448dca10c6192cd21a9aff809a4aab5f Mon Sep 17 00:00:00 2001
From: stijn <stinos@zoho.com>
Date: Mon, 23 Jun 2014 15:20:03 +0200
Subject: [PATCH] unix: Remove unused CTRL-D definition
---
unix/input.c | 2 --
1 file changed, 2 deletions(-)
diff --git a/unix/input.c b/unix/input.c
index 4d856f2ff..19ca649c9 100644
--- a/unix/input.c
+++ b/unix/input.c
@@ -41,8 +41,6 @@
#include <readline/history.h>
#endif
-#define CTRL_D '\x04'
-
char *prompt(char *p) {
#if MICROPY_USE_READLINE
char *line = readline(p);
--
GitLab