Bumped version to v0.5.8

discipl · Nov 12, 2021 · 8929a6c · 8929a6c
1 parent c55c0d6
commit 8929a6c
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
@@ -1340,7 +1340,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="7" />
+            <property role="3MwjfP" value="8" />
           </node>
         </node>
       </node>