From c84e86bbb2b67c9c4f0191fc3cb85e3960b951ea Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 6 Jun 2018 12:30:56 +0200 Subject: [PATCH] Use correct query kind in testlang. --- .../jetbrains.mps.typechecking.testlang/models/types.mps | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps index b95f968b..10c35b59 100644 --- a/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps +++ b/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps @@ -8,6 +8,7 @@ + @@ -25,6 +26,9 @@ + + + @@ -144,6 +148,7 @@ + @@ -884,6 +889,10 @@ + + + +