From 922b200a5693b0a12d202ff046b6ed6816e83463 Mon Sep 17 00:00:00 2001
From: Mario Carneiro <di.gama@gmail.com>
Date: Mon, 15 Apr 2024 05:14:55 -0400
Subject: [PATCH] version 0.3.8

---
 Cargo.lock                | 4 ++--
 metamath-knife/Cargo.toml | 2 +-
 metamath-rs/Cargo.toml    | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 191e5a8..1abffa0 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -165,7 +165,7 @@ checksum = "2dffe52ecf27772e601905b7522cb4ef790d2cc203488bbd0e2fe85fcb74566d"
 
 [[package]]
 name = "metamath-knife"
-version = "0.3.6"
+version = "0.3.8"
 dependencies = [
  "annotate-snippets",
  "clap",
@@ -175,7 +175,7 @@ dependencies = [
 
 [[package]]
 name = "metamath-rs"
-version = "0.3.6"
+version = "0.3.8"
 dependencies = [
  "annotate-snippets",
  "assert_matches",
diff --git a/metamath-knife/Cargo.toml b/metamath-knife/Cargo.toml
index ae205ba..12aa93f 100644
--- a/metamath-knife/Cargo.toml
+++ b/metamath-knife/Cargo.toml
@@ -2,7 +2,7 @@
 name = "metamath-knife"
 readme = "metamath-knife/README.md"
 description = "A command-line tool for Metamath, including parallel and incremental verifier for Metamath databases"
-version = "0.3.6"
+version = "0.3.8"
 authors.workspace = true
 license.workspace = true
 repository.workspace = true
diff --git a/metamath-rs/Cargo.toml b/metamath-rs/Cargo.toml
index 6a7cdfa..56136ce 100644
--- a/metamath-rs/Cargo.toml
+++ b/metamath-rs/Cargo.toml
@@ -2,7 +2,7 @@
 name = "metamath-rs"
 readme = "metamath-rs/README.md"
 description = "A library manipulating Metamath databases, including a parallel and incremental verifier for Metamath databases"
-version = "0.3.6"
+version = "0.3.8"
 authors.workspace = true
 license.workspace = true
 repository.workspace = true