Change to upstream clingo-rs again

2020-02-04 15:14:57 +01:00
parent 2ad5396488
commit c40042baf6
1 changed files with 2 additions and 1 deletions
--- 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"