From 4a985badae1a071d35ead0ebbec09fb63a95daa5 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Mon, 29 Aug 2011 16:28:53 -0400
Subject: [PATCH] Some info.rkt cleanups.

original commit: ffbd9e16ea240b8ad49527d5e5e02b660c8435b0
---
 collects/datalog/info.rkt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/collects/datalog/info.rkt b/collects/datalog/info.rkt
index dbee0f5..5d07e08 100644
--- a/collects/datalog/info.rkt
+++ b/collects/datalog/info.rkt
@@ -1,3 +1,5 @@
 #lang setup/infotab
+
 (define scribblings '(["scribblings/datalog.scrbl" (multi-page) (language)]))
+
 (define compile-omit-paths '("tests"))