Bump version to 37.1

Shen-Language · Jan 13, 2024 · 4e7cf8e · 4e7cf8e
1 parent df1c360
commit 4e7cf8e
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -6,6 +6,12 @@ The format is based on [Keep a Changelog](http://keepachangelog.com/)
 
 ## [Unreleased]
 
+## [37.1] - 2024-01-12
+
+### Fixed
+
+- Redundant factorisation eliminated.
+
 ## [37.0] - 2024-01-12
 
 ### Changed

diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-[![Current Release](https://img.shields.io/badge/release-37.0-blue.svg)](https://github.com/Shen-Language/shen-sources/releases)
+[![Current Release](https://img.shields.io/badge/release-37.1-blue.svg)](https://github.com/Shen-Language/shen-sources/releases)
 
 # Official Shen Sources
 
@@ -32,7 +32,7 @@ Packages can be created for any version, but when uploading to the releases page
 
 ```
 make pure
-git checkout shen-37.0
+git checkout shen-37.1
 make fetch
 make klambda
 make release

diff --git a/sources/declarations.shen b/sources/declarations.shen
@@ -47,7 +47,7 @@
 (set *infs* 0)
 (set *hush* false)
 (set *optimise* false)
-(set *version* "37.0")
+(set *version* "37.1")
 (set *names* [])
 (set *step* false)
 (set *it* "")