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)?