diff --git a/package.json b/package.json index 8b0ebfe..1668df7 100644 --- a/package.json +++ b/package.json @@ -1,7 +1,7 @@ { "name": "language-idris", "main": "./lib/language-idris", - "version": "0.4.3", + "version": "0.4.4", "private": true, "description": "A plugin for developing with Idris", "repository": "https://github.com/idris-hackers/atom-language-idris",