From 7361084eaffe18914b5037586ca933e9c1efa01b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 18 May 2020 01:09:15 +0200 Subject: [PATCH] Rename variable in example for consistency --- examples/exact-cover.lp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/exact-cover.lp b/examples/exact-cover.lp index 396f69b..cd4990d 100644 --- a/examples/exact-cover.lp +++ b/examples/exact-cover.lp @@ -2,4 +2,4 @@ :- I != J, in(I), in(J), s(X, I), s(X, J). covered(X) :- in(I), s(X, I). -:- s(X, Y), not covered(X). +:- s(X, I), not covered(X).