diff --git a/automata-learning/Cargo.toml b/automata-learning/Cargo.toml index 0492d2e..ac333df 100644 --- a/automata-learning/Cargo.toml +++ b/automata-learning/Cargo.toml @@ -9,7 +9,7 @@ tracing-subscriber = "0.3" automata = { git = "https://github.com/leonbohn/automata", rev = "7264bb8"} itertools = "0.12" impl-tools = "0.10.0" -tabled = { version = "0.15.0", features = ["ansi"] } +tabled = { version = "0.16.0", features = ["ansi"] } owo-colors = "4.0.0" alea = "0.2" either = "1.9.0"