Update version to 0.4.8

idris-hackers · Jan 14, 2017 · f7779c9 · f7779c9
1 parent 2ad470e
commit f7779c9
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -6,6 +6,11 @@
 
 ### Fixed
 
+## v0.4.8
+
+### Fixed
+- Fix proof search
+
 ## v0.4.7
 
 ### Added

diff --git a/package.json b/package.json
@@ -1,7 +1,7 @@
 {
   "name": "language-idris",
   "main": "./lib/language-idris",
-  "version": "0.4.7",
+  "version": "0.4.8",
   "private": true,
   "description": "A plugin for developing with Idris",
   "repository": "https://github.com/idris-hackers/atom-language-idris",