From bde8152ce19dca3e7e5054c8ad4f82e799199f06 Mon Sep 17 00:00:00 2001
From: Adam Russell <ac.russell@live.com>
Date: Sun, 19 Dec 2021 19:45:38 -0500
Subject: removed redundant constraint

---
 challenge-143/adam-russell/prolog/ch-2.p | 1 -
 1 file changed, 1 deletion(-)

diff --git a/challenge-143/adam-russell/prolog/ch-2.p b/challenge-143/adam-russell/prolog/ch-2.p
index 87b44b8056..af301e157a 100644
--- a/challenge-143/adam-russell/prolog/ch-2.p
+++ b/challenge-143/adam-russell/prolog/ch-2.p
@@ -5,7 +5,6 @@ stealthy(N):-
     fd_domain(T, 2, N),
     fd_domain(U, 2, N),
     fd_domain(V, 2, N),
-    S * T #= U * V,
     S * T #= N,
     U * V #= N,
     S + T #= U + V + 1,
-- 
cgit