From 0aafcc327fdc786a767e8750fd1ab4adc652fa8c Mon Sep 17 00:00:00 2001 From: Diogo Cordeiro Date: Thu, 22 Nov 2018 23:52:49 +0000 Subject: [PATCH] Fix dumb typo --- polimani.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/polimani.pl b/polimani.pl index 0f97863..121d879 100644 --- a/polimani.pl +++ b/polimani.pl @@ -21,7 +21,7 @@ ********************************************* */ -/* Import the Constraint Logic Programming over Finite Domains lybrary +/* Import the Constraint Logic Programming over Finite Domains library * Essentially, this library improves the way Prolog deals with integers, * allowing more predicates to be reversible. * For instance, number(N) is always false, which prevents the