From f4773216c619dee1dc152dd3d2ba74b44d2e3169 Mon Sep 17 00:00:00 2001
From: Justin Ethier <justin.ethier@gmail.com>
Date: Sat, 14 Nov 2015 00:21:15 -0500
Subject: [PATCH] Unnecessary getchar

---
 runtime.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/runtime.c b/runtime.c
index 1e3107c5..4804d8b2 100644
--- a/runtime.c
+++ b/runtime.c
@@ -494,7 +494,9 @@ object Cyc_display(object x, FILE *port)
       fprintf(port, ")");
       break;
     default:
-      fprintf(port, "Cyc_display: bad tag x=%ld\n", ((closure)x)->tag); getchar(); exit(0);}
+      fprintf(port, "Cyc_display: bad tag x=%ld\n", ((closure)x)->tag); 
+      exit(1);
+ }
  return quote_void;}
 
 object dispatch_write_va(void *data, int argc, object clo, object cont, object x, ...) {