diff --git a/Cargo.lock b/Cargo.lock
index c545c59..bdfe5ef 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -486,9 +486,9 @@ checksum = "13e3bf6590cbc649f4d1a3eefc9d5d6eb746f5200ffb04e5e142700b8faa56e7"
 
 [[package]]
 name = "libmimalloc-sys"
-version = "0.1.30"
+version = "0.1.39"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "dd8c7cbf8b89019683667e347572e6d55a7df7ea36b0c4ce69961b0cde67b174"
+checksum = "23aa6811d3bd4deb8a84dde645f943476d13b248d818edcf8ce0b2f37f036b44"
 dependencies = [
  "cc",
  "libc",
@@ -559,9 +559,9 @@ dependencies = [
 
 [[package]]
 name = "mimalloc"
-version = "0.1.34"
+version = "0.1.39"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9dcb174b18635f7561a0c6c9fc2ce57218ac7523cf72c50af80e2d79ab8f3ba1"
+checksum = "fa01922b5ea280a911e323e4d2fd24b7fe5cc4042e0d2cda3c40775cdc4bdc9c"
 dependencies = [
  "libmimalloc-sys",
 ]
diff --git a/kocheck/Cargo.toml b/kocheck/Cargo.toml
index cb73b48..62f62ef 100644
--- a/kocheck/Cargo.toml
+++ b/kocheck/Cargo.toml
@@ -18,7 +18,7 @@ default = ["mimalloc"]
 clap = { version = "4.0.0", features = ["derive"] }
 colosseum = "0.2.2"
 flume = { version = "0.10.12", default-features = false }
-mimalloc = { version = "0.1.29", default-features = false, optional = true }
+mimalloc = { version = "0.1.39", default-features = false, optional = true }
 kontroli = { version = "0.4.0", path = "../kontroli" }
 log = "0.4.17"
 env_logger = "0.9.0"
diff --git a/kofmt/Cargo.toml b/kofmt/Cargo.toml
index bebc702..1137f8a 100644
--- a/kofmt/Cargo.toml
+++ b/kofmt/Cargo.toml
@@ -16,6 +16,6 @@ default = ["mimalloc"]
 clap = { version = "4.0.0", features = ["derive"] }
 dedukti-parse = { version = "0.3.1", path = "../dedukti-parse" }
 env_logger = "0.9.0"
-mimalloc = { version = "0.1.29", default-features = false, optional = true }
+mimalloc = { version = "0.1.39", default-features = false, optional = true }
 log = "0.4.17"
 logos = "0.12"