Bump model checker version

sybila · Sep 2, 2023 · 9d8fff8 · 9d8fff8
1 parent 7e687e3
commit 9d8fff8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -42,7 +42,7 @@ path = "src/bin/small_example.rs"
 [dependencies]
 biodivine-lib-bdd = ">=0.5.1, <1.0.0"
 biodivine-lib-param-bn = ">=0.4.5, <1.0.0"
-biodivine-hctl-model-checker = ">=0.1.6, <1.0.0"
+biodivine-hctl-model-checker = ">=0.1.7, <1.0.0"
 clap = { version = "4.1.4", features = ["derive"] }
 termcolor = "1.1.2"
 rand = "0.8.5"