Merge pull request #135 from discipl/version-bump

version bump to v0.6.1
discipl · May 23, 2022 · 86073f7 · 86073f7
2 parents be89717 + 464e448
commit 86073f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/code/solutions/Flint.build0/models/Flint.build.mps b/code/solutions/Flint.build0/models/Flint.build.mps
@@ -1328,7 +1328,7 @@
       <node concept="aVJcg" id="7ua6Tt2QOlx" role="aVJcv">
         <node concept="NbPM2" id="7ua6Tt2QOlw" role="aVJcq">
           <node concept="3Mxwew" id="7ua6Tt2QOlv" role="3MwsjC">
-            <property role="3MwjfP" value="0" />
+            <property role="3MwjfP" value="1" />
           </node>
         </node>
       </node>