From 114f4b807958b8fcc9972cb5cc0ef9fa18e9dab3 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Mon, 4 Dec 2017 13:34:57 +0100
Subject: [PATCH] Bumped up version in plugin.xml.

---
 build.xml                                                       | 2 +-
 .../models/jetbrains.mps.typechecking.build.mps                 | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index b422831d..ff5b0894 100644
--- a/build.xml
+++ b/build.xml
@@ -838,7 +838,7 @@
         <id>jetbrains.mps.typechecking</id>
         <name>Typechecking with Constraint Rules</name>
         <description>Experimental support for type checking with constraint rules</description>
-        <version>0.2</version>
+        <version>0.2-b17</version>
         <vendor url="jetbrains.com/mps">JetBrains s.r.o.</vendor>
         
         <extensions defaultExtensionNs="com.intellij">
diff --git a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps
index 6fef4f98..08d108a9 100644
--- a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps
+++ b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps
@@ -178,7 +178,7 @@
       </node>
       <node concept="3_J27D" id="7BVjoXzUx6a" role="m$_w8">
         <node concept="3Mxwew" id="7BVjoXzUx6l" role="3MwsjC">
-          <property role="3MwjfP" value="0.2" />
+          <property role="3MwjfP" value="0.2-b17" />
         </node>
       </node>
       <node concept="3_J27D" id="3AC_dXTSEnT" role="3s6cr7">