diff --git a/pkgs/compiler-pkgs/compiler-test/info.rkt b/pkgs/compiler-pkgs/compiler-test/info.rkt index 649a868721..5b2913375c 100644 --- a/pkgs/compiler-pkgs/compiler-test/info.rkt +++ b/pkgs/compiler-pkgs/compiler-test/info.rkt @@ -15,3 +15,4 @@ "gui-lib" "htdp-lib" "plai")) +(define update-implies '("compiler-lib"))