From edf3071bce684be75fcaa22de8f96e6eaa43d97c Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Tue, 25 Jun 2019 11:05:10 +0200 Subject: [PATCH] Add SuppressErrorsChecker to the list of checkers used during build. --- .../jetbrains.mps.coderules.test/models/modelcheck@tests.mps | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps index 1f57c3ea..033b4a0d 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps @@ -355,6 +355,11 @@ + + + + +