From c43ed134863fbc073cd019fabe18d7e29a82b45a Mon Sep 17 00:00:00 2001 From: Laurence Tratt Date: Fri, 29 May 2020 08:47:43 +0100 Subject: [PATCH] Use the newest grmtools release. --- Cargo.toml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index 9dcccdf3..8e9b6c3c 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -19,9 +19,9 @@ path = "lang_tests/run.rs" harness = false [build-dependencies] -cfgrammar = "0.7" -lrlex = "0.7" -lrpar = "0.7" +cfgrammar = "0.8" +lrlex = "0.8" +lrpar = "0.8" rerun_except = "0.1" [dev-dependencies] @@ -33,11 +33,11 @@ regex = "1.1" [dependencies] rboehm = { git = "https://github.com/softdevteam/rboehm" } arrayvec = "0.5" -cfgrammar = "0.7" +cfgrammar = "0.8" getopts = "0.2" itertools = "0.9" -lrlex = "0.7" -lrpar = "0.7" +lrlex = "0.8" +lrpar = "0.8" natrob = { git="https://github.com/softdevteam/natrob", features=["rboehm"] } num-bigint = "0.2" num-integer = "0.1"