diff --git a/rustsat/Cargo.toml b/rustsat/Cargo.toml index b8d6f86c..ce0e31f3 100644 --- a/rustsat/Cargo.toml +++ b/rustsat/Cargo.toml @@ -31,8 +31,8 @@ pyo3-build-config = { version = "0.20.0", optional = true } [dev-dependencies] inline-c = "0.1.7" -rustsat-minisat = { version = "0.2.2", path = "../minisat" } -rustsat-tools = { version = "0.2.2", path = "../tools" } +rustsat-minisat = { version = "0.2", path = "../minisat" } +rustsat-tools = { version = "0.2", path = "../tools" } [features] default = [