From 6d699bbd9b3e52c1cd8cd922dc94c9535be6d9cb Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 4 Feb 2008 23:00:35 +0000 Subject: [PATCH] switched info.ss files to #lang svn: r8532 original commit: 3c72e71e24202366d4be41532cba0a89f69d7ebd --- collects/parser-tools/info.ss | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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"))