From 7211625ed6fd82e8b36489956d9d692b4a6cc1f6 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Tue, 2 Dec 1997 16:07:34 +0000
Subject: [PATCH] duplicate-key-event is gone

original commit: 321ba87d0529a781200663c43671c9ae6aad45ff
---
 collects/mred/keys.ss | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/collects/mred/keys.ss b/collects/mred/keys.ss
index 75d5df78..5b7eeff2 100644
--- a/collects/mred/keys.ss
+++ b/collects/mred/keys.ss
@@ -684,8 +684,7 @@
 				 (set! build-protect? #f)))
 			      (when building-macro
 				(set! building-macro 
-				      (cons (cons name 
-						  (duplicate-key-event event))
+				      (cons (cons name event)
 					    building-macro)))
 			      #t))
 		      (send km set-break-sequence-callback done)))