diff --git a/collects/parser-tools/info.ss b/collects/parser-tools/info.ss index c5ee25f..c14a2ca 100644 --- a/collects/parser-tools/info.ss +++ b/collects/parser-tools/info.ss @@ -1,3 +1 @@ #lang setup/infotab - -(define name "Parser-tools")