diff options
Diffstat (limited to 'z3-solver/Cargo.toml')
| -rw-r--r-- | z3-solver/Cargo.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/z3-solver/Cargo.toml b/z3-solver/Cargo.toml index 6f63e1c..f598f53 100644 --- a/z3-solver/Cargo.toml +++ b/z3-solver/Cargo.toml | |||
| @@ -9,4 +9,4 @@ edition = "2021" | |||
| 9 | [dependencies] | 9 | [dependencies] |
| 10 | diaphragm-core = { path = "../core" } | 10 | diaphragm-core = { path = "../core" } |
| 11 | 11 | ||
| 12 | z3 = "0.9" | 12 | z3 = "0.11" |