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