Depend on new "plai-lib" pkg.

2015-05-20 15:57:50 -04:00 · 2015-05-20 15:57:50 -04:00 · 9de3f8b87f
commit 9de3f8b87f
parent e88c746c3c
1 changed files with 1 additions and 1 deletions
--- a/compiler-test/info.rkt
+++ b/compiler-test/info.rkt
@ -14,5 +14,5 @@
                     "compatibility-lib"
                     "gui-lib"
                     "htdp-lib"
-                     "plai"))
+                     "plai-lib"))
 (define update-implies '("compiler-lib"))