From 2ba4ee57122ee83ad05956b4e447d3f4fbdef585 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Wed, 15 Nov 2017 14:11:38 +0100
Subject: [PATCH] Correct plugin version. Create updatePlugins.xml to provide
 updates.

---
 build.xml                                                     | 2 +-
 .../models/jetbrains.mps.typechecking.build.mps               | 2 +-
 updatePlugins.xml                                             | 4 ++++
 3 files changed, 6 insertions(+), 2 deletions(-)
 create mode 100755 updatePlugins.xml

diff --git a/build.xml b/build.xml
index f072c718..b422831d 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.1</version>
+        <version>0.2</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 6c617642..6fef4f98 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.1" />
+          <property role="3MwjfP" value="0.2" />
         </node>
       </node>
       <node concept="3_J27D" id="3AC_dXTSEnT" role="3s6cr7">
diff --git a/updatePlugins.xml b/updatePlugins.xml
new file mode 100755
index 00000000..e7713bac
--- /dev/null
+++ b/updatePlugins.xml
@@ -0,0 +1,4 @@
+<plugins>
+    <plugin id="jetbrains.mps.typechecking" url="https://github.com/fisakov/constraints-typechecking/releases/download/v0.2-snapshot.16/typechecking-0.2.zip" version="0.2-b16" >
+    </plugin>
+</plugins>