From 4c9022212497dd75c9892183f93519ee074d399b Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 21 Jul 2013 19:55:10 -0600 Subject: [PATCH] fix some tests original commit: 1708fb43b476bf7a13f1c2cef3a32f555769cf55 --- pkgs/datalog/tests/racket.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/datalog/tests/racket.rkt b/pkgs/datalog/tests/racket.rkt index bca96bb..69c0c73 100644 --- a/pkgs/datalog/tests/racket.rkt +++ b/pkgs/datalog/tests/racket.rkt @@ -74,7 +74,7 @@ (hasheq 'A 'joseph3 'B 'lucy) (hasheq 'A 'joseph3 'B 'joseph1)))) - (local [(local-require tests/datalog/examples/ancestor)] + (local [(local-require datalog/tests/examples/ancestor)] (datalog theory (? (ancestor A B)))) => @@ -85,7 +85,7 @@ (hasheq 'A 'ebbon 'B 'john) (hasheq 'A 'ebbon 'B 'douglas)) - (local [(local-require tests/datalog/paren-examples/ancestor)] + (local [(local-require datalog/tests/paren-examples/ancestor)] (datalog theory (? (ancestor A B)))) =>