Use the newest grmtools release.

softdevteam · May 29, 2020 · c43ed13 · c43ed13
1 parent cdbd406
commit c43ed13
Showing 1 changed file with 6 additions and 6 deletions.
diff --git 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"