From: Mark Thom Date: Sat, 30 Mar 2019 04:50:43 +0000 (-0600) Subject: Merge branch 'master' of https://github.com/mthom/rusty-wam X-Git-Tag: v0.8.110~145 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5a30c7b9be8db389a68be3ae38fbeab0b7c91ece;p=scryer-prolog.git Merge branch 'master' of https://github.com/mthom/rusty-wam Merge with downcast update. --- 5a30c7b9be8db389a68be3ae38fbeab0b7c91ece diff --cc Cargo.toml index e104be86,343e4351..fa7e8243 --- a/Cargo.toml +++ b/Cargo.toml @@@ -11,10 -11,10 +11,10 @@@ default = ["readline_rs_compat" [dependencies] cfg-if = "0.1.7" - downcast = "0.9.1" + downcast = "0.10.0" num = "0.2" ordered-float = "0.5.0" -prolog_parser = "0.8.3" +prolog_parser = "0.8.4" readline_rs_compat = { version = "0.1.7", optional = true } ref_thread_local = "0.0.0"