diff --git a/Cargo.toml b/Cargo.toml index afbf59b..a2d0bcd 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -10,7 +10,8 @@ pretty_env_logger = "0.3" structopt = "0.3" [dependencies.clingo] -path = "../clingo-rs" +git = "https://github.com/potassco/clingo-rs" +rev = "61cc68c0dfef96398db064f0b7fc2e838e7b9204" [dependencies.foliage] git = "ssh://gitea@git.luehne.de/patrick/foliage-rs.git"