From: Mark Thom Date: Fri, 26 Apr 2019 02:11:34 +0000 (-0600) Subject: re: issue #118 X-Git-Tag: v0.8.110~84 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=9b93c3349119eb8130dee552bb62e755aab0e298;p=scryer-prolog.git re: issue #118 --- diff --git a/Cargo.toml b/Cargo.toml index 9d113c5b..3a1749aa 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "scryer-prolog" -version = "0.8.64" +version = "0.8.65" authors = ["Mark Thom "] repository = "https://github.com/mthom/scryer-prolog" description = "A modern Prolog implementation written mostly in Rust." diff --git a/src/prolog/lib/lists.pl b/src/prolog/lib/lists.pl index 8d3a1d17..c7d8e6a3 100644 --- a/src/prolog/lib/lists.pl +++ b/src/prolog/lib/lists.pl @@ -13,7 +13,7 @@ length(Xs, N) :- N >= 0, !, '$skip_max_list'(M, N, Xs, Xs0), ( Xs0 == [] -> N = M - ; var(Xs0) -> R is N-M, nl, length_rundown(Xs0, R)). + ; var(Xs0) -> R is N-M, length_rundown(Xs0, R)). length(_, N) :- integer(N), !, throw(error(domain_error(not_less_than_zero, N), length/2)).