From 980894ff92ffa015135f6c8ef3b2b06c4c2538fd Mon Sep 17 00:00:00 2001 From: mark Date: Sat, 24 Aug 2019 21:44:12 -0500 Subject: [PATCH] remove flaky link --- src/doc/rustc-dev-guide/src/traits/bibliography.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/doc/rustc-dev-guide/src/traits/bibliography.md b/src/doc/rustc-dev-guide/src/traits/bibliography.md index b8f345d9d2e8..a0242d4c44b6 100644 --- a/src/doc/rustc-dev-guide/src/traits/bibliography.md +++ b/src/doc/rustc-dev-guide/src/traits/bibliography.md @@ -21,9 +21,7 @@ environments, and Lambda Prolog-style proof search. Quite readable. ["A new formulation of tabled resolution with delay"][nftrd], by -[Theresa Swift]. This paper gives a kind of abstract treatment of the +Theresa Swift. This paper gives a kind of abstract treatment of the SLG formulation that is the basis for our on-demand solver. [nftrd]: https://dl.acm.org/citation.cfm?id=651202 -[ts]: http://www3.cs.stonybrook.edu/~tswift/ -[Theresa Swift]: http://www3.cs.stonybrook.edu/~tswift/