From 67922be642d005b8ef4c8d771d91ea55caf6c322 Mon Sep 17 00:00:00 2001
From: Christoph Jabs <christoph.jabs@helsinki.fi>
Date: Wed, 16 Oct 2024 16:24:36 +0300
Subject: [PATCH] chore: fix dependency cycle

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

diff --git a/Cargo.toml b/Cargo.toml
index 4b32667a..0ca91596 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -76,7 +76,7 @@ tempfile.workspace = true
 xz2 = { workspace = true, optional = true }
 
 [dev-dependencies]
-rustsat-minisat.workspace = true
+rustsat-minisat = { path = "./minisat" }
 rustsat-solvertests.workspace = true
 rustsat-tools = { path = "./tools" }