From 5fb66a88592f956225896814cf4eb19a5bbfffac Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 4 Jul 2013 15:45:47 -0400 Subject: [PATCH] Use `#lang info` instead of `#lang setup/infotab`. original commit: 5a7ca7ebb56b2215f2d395ed052c03ea740817ea --- pkgs/datalog/info.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/datalog/info.rkt b/pkgs/datalog/info.rkt index 80ff3d8..ef479bb 100644 --- a/pkgs/datalog/info.rkt +++ b/pkgs/datalog/info.rkt @@ -1,4 +1,4 @@ -#lang setup/infotab +#lang info (define collection "datalog")