Use #lang info instead of #lang setup/infotab.

original commit: 5a7ca7ebb56b2215f2d395ed052c03ea740817ea
This commit is contained in:
Sam Tobin-Hochstadt 2013-07-04 15:45:47 -04:00
parent 89f7f6cb26
commit 5fb66a8859

View File

@ -1,4 +1,4 @@
#lang setup/infotab
#lang info
(define collection "datalog")