From 21dc15d718d000582424ec93f9a60309bdb1646e Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Mon, 4 Nov 2024 15:51:30 -0800
Subject: [PATCH] remove stale link

---
 Documentation/SBV/Examples/Puzzles/Sudoku.hs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Documentation/SBV/Examples/Puzzles/Sudoku.hs b/Documentation/SBV/Examples/Puzzles/Sudoku.hs
index 29357b7b8..26b6d20c7 100644
--- a/Documentation/SBV/Examples/Puzzles/Sudoku.hs
+++ b/Documentation/SBV/Examples/Puzzles/Sudoku.hs
@@ -175,8 +175,7 @@ puzzle5 = [ [ 0, 9, 0,   7, 0, 0,   8, 6, 0]
           , [ 0, 2, 0,   6, 0, 0,   3, 5, 0]
           , [ 0, 5, 4,   0, 0, 8,   0, 7, 0] ]
 
--- | The following is nefarious according to
--- <http://haskell.org/haskellwiki/Sudoku>
+-- | Another example
 puzzle6 :: Puzzle
 puzzle6 = [ [0, 0, 0,   0, 6, 0,   0, 8, 0]
           , [0, 2, 0,   0, 0, 0,   0, 0, 0]