From 0eb5178ca8ebc38649b165152635078076fe91b5 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 7 Jan 2010 20:06:18 +0000 Subject: [PATCH] svn: r17543 --- collects/redex/private/tl-test.ss | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/collects/redex/private/tl-test.ss b/collects/redex/private/tl-test.ss index d70795b1c5..8dd90a3884 100644 --- a/collects/redex/private/tl-test.ss +++ b/collects/redex/private/tl-test.ss @@ -1221,16 +1221,6 @@ (term junk)) (list '(x x1))) - (test (apply-reduction-relation - (reduction-relation - empty-language - (--> any (any_y x) - (fresh x) - (where any_y x) - (fresh x))) - (term junk)) - (list '(x x1))) - (test (apply-reduction-relation (reduction-relation empty-language