privilege new op declarations over old ones (#346)

diff --git a/Cargo.lock b/Cargo.lock
index f20106a96ac675f6362ed4de7321b2480a19228b..cd183d597ebec34b1c207f0f03f9cee57c131396 100644 (file)
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -477,8 +477,7 @@ dependencies = [
 
 [[package]]
 name = "prolog_parser"
-version = "0.8.51"
-source = "registry+https://github.com/rust-lang/crates.io-index"
+version = "0.8.52"
 dependencies = [
  "lexical 2.1.0 (registry+https://github.com/rust-lang/crates.io-index)",
  "num-rug-adapter 0.1.2 (registry+https://github.com/rust-lang/crates.io-index)",
@@ -622,7 +621,7 @@ dependencies = [
  "nix 0.15.0 (registry+https://github.com/rust-lang/crates.io-index)",
  "num-rug-adapter 0.1.2 (registry+https://github.com/rust-lang/crates.io-index)",
  "ordered-float 0.5.2 (registry+https://github.com/rust-lang/crates.io-index)",
- "prolog_parser 0.8.51 (registry+https://github.com/rust-lang/crates.io-index)",
+ "prolog_parser 0.8.52",
  "ref_thread_local 0.0.0 (registry+https://github.com/rust-lang/crates.io-index)",
  "rug 1.5.2 (registry+https://github.com/rust-lang/crates.io-index)",
  "rustyline 6.0.0 (registry+https://github.com/rust-lang/crates.io-index)",
@@ -852,7 +851,6 @@ dependencies = [
 "checksum proc-macro-hack 0.5.14 (registry+https://github.com/rust-lang/crates.io-index)" = "fcfdefadc3d57ca21cf17990a28ef4c0f7c61383a28cb7604cf4a18e6ede1420"
 "checksum proc-macro2 0.4.30 (registry+https://github.com/rust-lang/crates.io-index)" = "cf3d2011ab5c909338f7887f4fc896d35932e29146c12c8d01da6b22a80ba759"
 "checksum proc-macro2 1.0.9 (registry+https://github.com/rust-lang/crates.io-index)" = "6c09721c6781493a2a492a96b5a5bf19b65917fe6728884e7c44dd0c60ca3435"
-"checksum prolog_parser 0.8.51 (registry+https://github.com/rust-lang/crates.io-index)" = "717a1384cfba76eb9e9c83bf8f003777dc164dd403680aa5a9d2eaff68c71c3c"
 "checksum quote 0.6.13 (registry+https://github.com/rust-lang/crates.io-index)" = "6ce23b6b870e8f94f81fb0a363d65d86675884b34a09043c81e5562f11c1f8e1"
 "checksum quote 1.0.3 (registry+https://github.com/rust-lang/crates.io-index)" = "2bdc6c187c65bca4260c9011c9e3132efe4909da44726bad24cf7572ae338d7f"
 "checksum rand_core 0.3.1 (registry+https://github.com/rust-lang/crates.io-index)" = "7a6fdeb83b075e8266dcc8762c22776f6877a63111121f5f8c7411e5be7eed4b"

diff --git a/Cargo.toml b/Cargo.toml
index 9465d2d488fa46377cd2223fb544db31ecc0d477..390e1eda231219a1ae3c2ea2f09bcf057e1ac6df 100644 (file)
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -26,7 +26,7 @@ libc = "0.2.62"
 nix = "0.15.0"
 num-rug-adapter = { optional = true, version = "0.1.1" }
 ordered-float = "0.5.0"
-prolog_parser = { version = "0.8.51", default-features = false }
+prolog_parser = { version = "0.8.52", default-features = false }
 ref_thread_local = "0.0.0"
 rug = { version = "1.4.0", optional = true }
 rustyline = "6.0.0"
\ No newline at end of file