From b4ad4cf27e50562589bfc01099e03ec74f6cb0dd Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Wed, 29 Feb 2012 00:28:11 -0500
Subject: [PATCH] Big newline at EOF scan.

original commit: f7c67b49a49a723534454ce561cd060e63889480
---
 collects/datalog/serialize.rkt              | 2 +-
 collects/tests/datalog/examples/student.rkt | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/collects/datalog/serialize.rkt b/collects/datalog/serialize.rkt
index 1ebb48a..57635e9 100644
--- a/collects/datalog/serialize.rkt
+++ b/collects/datalog/serialize.rkt
@@ -34,4 +34,4 @@
 
 (provide/contract
  [write-theory (-> theory/c void)]
- [read-theory (-> theory/c)])
\ No newline at end of file
+ [read-theory (-> theory/c)])
diff --git a/collects/tests/datalog/examples/student.rkt b/collects/tests/datalog/examples/student.rkt
index 514153d..3ef8921 100644
--- a/collects/tests/datalog/examples/student.rkt
+++ b/collects/tests/datalog/examples/student.rkt
@@ -1,4 +1,4 @@
 #lang datalog
 friend(arnold,arnold).
 student(arnold,arnold,arnold) :- friend(arnold,arnold).
-student(arnold,arnold,arnold)?
\ No newline at end of file
+student(arnold,arnold,arnold)?