diff --git a/collects/typed-scheme/info.ss b/collects/typed-scheme/info.ss index e59bcb18..241c14e3 100644 --- a/collects/typed-scheme/info.ss +++ b/collects/typed-scheme/info.ss @@ -1,4 +1,3 @@ #lang setup/infotab -(define name "Typed Scheme") (define scribblings '(("typed-scheme.scrbl")))