From 8929a6c54ac16881a318103b0c4b10002bfc3353 Mon Sep 17 00:00:00 2001
From: Tristan Albers <talbers@talbers-pc.quintor.local>
Date: Fri, 12 Nov 2021 15:25:28 +0100
Subject: [PATCH] Bumped version to v0.5.8

---
 code/solutions/Flint.build0/models/Flint.build.mps | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/code/solutions/Flint.build0/models/Flint.build.mps b/code/solutions/Flint.build0/models/Flint.build.mps
index 8bebf21..3a94338 100644
--- 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>