From 59f653aeeed64966bb44d83d327a0fe0d01525e1 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 29 Oct 2020 13:06:09 +0100 Subject: [PATCH] Enable incremental option in test. Now that "main" constraint is a principal one the test passes. --- ...rains.mps.coderules.typechecking@tests.mps | 38 ++----------------- 1 file changed, 3 insertions(+), 35 deletions(-) diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps index 3d9ed421..39a2cb17 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps @@ -4876,44 +4876,12 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + +