diff --git a/package.json b/package.json index b0532ab..262c28f 100644 --- a/package.json +++ b/package.json @@ -2,7 +2,7 @@ "name": "lean", "displayName": "lean", "description": "Lean 3 language support for VS Code", - "version": "0.16.58", + "version": "0.16.59", "publisher": "jroesch", "engines": { "vscode": "^1.38.0"