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)