From f9d5910ed86dcabbd0c8eb04066891b5428c3349 Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay@racket-lang.org>
Date: Thu, 17 Jul 2014 16:34:57 -0400
Subject: [PATCH] Fix PR 14614 without printf

---
 pkgs/plai/datatype.rkt | 2 --
 1 file changed, 2 deletions(-)

diff --git a/pkgs/plai/datatype.rkt b/pkgs/plai/datatype.rkt
index 5b179b68ef..cb2032fe2b 100644
--- a/pkgs/plai/datatype.rkt
+++ b/pkgs/plai/datatype.rkt
@@ -105,8 +105,6 @@
       (datum->syntax lctx fmt+vs-sym src))
     (define srbs
       (final-make-srbs))
-    (printf "~v -> ~v\n"
-            this-id srbs)
     (set! SRBS (cons srbs SRBS))
     this-id)