From 9b93c3349119eb8130dee552bb62e755aab0e298 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Thu, 25 Apr 2019 20:11:34 -0600 Subject: [PATCH] re: issue #118 --- Cargo.toml | 2 +- src/prolog/lib/lists.pl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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)). -- 2.54.0