From 27bf7ddd0a7669e632daf604df80c0cc04dee8e8 Mon Sep 17 00:00:00 2001
From: oeb25 <oliverboving@gmail.com>
Date: Thu, 2 May 2024 15:25:04 +0200
Subject: [PATCH] misc: Move some crate versions to root `Cargo.toml`

---
 Cargo.toml        | 2 ++
 smtlib/Cargo.toml | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/Cargo.toml b/Cargo.toml
index 6c12cbe..aebfe9a 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -9,6 +9,8 @@ version = "0.1.8"
 itertools = "0.12.0"
 miette = { version = "5.5.0" }
 serde = { version = "1.0.152", features = ["derive"] }
+smtlib = { path = "./smtlib" }
+smtlib-lowlevel = { path = "./lowlevel", version = "0.1.8" }
 thiserror = "1.0.38"
 insta = { version = "1.23.0", features = ["ron"] }
 
diff --git a/smtlib/Cargo.toml b/smtlib/Cargo.toml
index be51531..68359e2 100644
--- a/smtlib/Cargo.toml
+++ b/smtlib/Cargo.toml
@@ -20,7 +20,7 @@ tokio = ["smtlib-lowlevel/tokio"]
 [dependencies]
 itertools.workspace = true
 miette.workspace = true
-smtlib-lowlevel = { path = "../lowlevel", version = "0.1.8" }
+smtlib-lowlevel.workspace = true
 serde = { workspace = true, optional = true }
 thiserror.workspace = true