diff --git a/Cargo.toml b/Cargo.toml index dcd3b25..e3e7ef1 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -12,7 +12,7 @@ clingcon-plugin = { git = "https://github.com/potassco/clingcon-theory-rs", bran rocket = { version = "0.5.0-rc.2", features = ["json"] } parking_lot = "0.12" thiserror = "1.0" -libloading = "0.7" +libloading = "0.8" serde = "1.0" serde_json = "1.0" serde_derive = "1.0"