From c40042baf689f6a3c5255f8055705984ce985513 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Tue, 4 Feb 2020 15:14:57 +0100
Subject: [PATCH] Change to upstream clingo-rs again

---
 Cargo.toml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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"