From 729e81e975219b28872dc8b604de223273eb0ca9 Mon Sep 17 00:00:00 2001
From: "Narazaki, Shuji" <shujinarazaki@protonmail.com>
Date: Sun, 4 Feb 2024 12:58:41 +0900
Subject: [PATCH] bump version to 0.17.2

---
 Cargo.lock   | 2 +-
 Cargo.toml   | 2 +-
 ChangeLog.md | 2 +-
 flake.nix    | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index a766d1978..80fdddbb9 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -73,7 +73,7 @@ dependencies = [
 
 [[package]]
 name = "splr"
-version = "0.17.1"
+version = "0.17.2"
 dependencies = [
  "bitflags",
  "instant",
diff --git a/Cargo.toml b/Cargo.toml
index 51f141a3e..8212d1481 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "splr"
-version = "0.17.1"
+version = "0.17.2"
 authors = ["Narazaki Shuji <shujinarazaki@protonmail.com>"]
 description = "A modern CDCL SAT solver in Rust"
 edition = "2021"
diff --git a/ChangeLog.md b/ChangeLog.md
index 4549ae95a..04745eb86 100644
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,4 +1,4 @@
-## 0.1X.X, 2024-0X-0X
+## 0.17.2, 2024-02-04
 
 - Add feature `platform_wasm`
 
diff --git a/flake.nix b/flake.nix
index 643c5582a..e99da81a8 100644
--- a/flake.nix
+++ b/flake.nix
@@ -22,7 +22,7 @@
                 default = craneLib.buildPackage {
                   # name = "splr-${version}";
                   # pname = "splr";
-                  # version = "0.17.1-20240106";
+                  # version = "0.17.2-20240204";
                   src = craneLib.cleanCargoSource (craneLib.path ./.);
                   buildInputs = [cargo rustc binutils ]
                    ++ lib.optional stdenv.isDarwin [ libiconv ];