From 3781c1df612a45bbebe041cd1af2ec1d3b2d44ff Mon Sep 17 00:00:00 2001 From: wjrforcyber Date: Sun, 24 Sep 2023 19:31:37 +0800 Subject: [PATCH] Refactor(Typo): Link is NOT FOUND page(not available), change to the book name --- src/base/abci/abc.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 4fe3e0014..c99956149 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -9343,8 +9343,7 @@ usage: Abc_Print( -2, "\t synthesizes the smallest circuit composed of two-input gates\n" ); Abc_Print( -2, "\t for the only NPN class of 5-input functions that requires 12 gates;\n" ); Abc_Print( -2, "\t all other functions can be realized with 11 two-input gates or less\n" ); - Abc_Print( -2, "\t (see Section 7.1.2 \"Boolean evaluation\" in the book by Donald Knuth\n" ); - Abc_Print( -2, "\t http://www.cs.utsa.edu/~wagner/knuth/fasc0c.pdf)\n" ); + Abc_Print( -2, "\t (see Section 7.1.2 \"Boolean evaluation\" in the book The Art of Computer Programming by Donald Knuth)\n" ); return 1; }