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