From fb5f0ee743061ea4a09ab693f02b3d040fb4305a Mon Sep 17 00:00:00 2001
From: mk <mirko.alic@plowtech.net>
Date: Tue, 30 Nov 2021 17:17:56 -0300
Subject: [PATCH] Fix hole_severity option: Use integer instead of string

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index a83a7cca..65df6a62 100644
--- a/package.json
+++ b/package.json
@@ -275,7 +275,7 @@
             null
           ],
           "default": null,
-          "type": "string"
+          "type": "integer"
         },
         "haskell.plugin.tactics.config.max_use_ctor_actions": {
           "title": "Max number of constructors",