From 7cc2a1f6f50175bb68a31423a8efcec178847eb1 Mon Sep 17 00:00:00 2001
From: Florian Hammerschmidt <fh@cca.io>
Date: Mon, 20 Apr 2020 16:07:34 +0200
Subject: [PATCH] Actually deactivate warning 4.

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

diff --git a/bsconfig.json b/bsconfig.json
index 637cf2b..32ce9ed 100644
--- a/bsconfig.json
+++ b/bsconfig.json
@@ -15,6 +15,6 @@
       "subdirs": false
     }
   ],
-  "bsc-flags": ["-bs-no-version-header", "-warn-error @a-4"],
+  "bsc-flags": ["-bs-no-version-header", "-warn-error @a", "-w -4"],
   "bs-dependencies": []
 }