update stdarch

RalfJung · RalfJung · commit 31652194a642 · 2021-05-13T15:01:09.000+02:00
diff --git a/stdarch b/stdarch
@@ -1 +1 @@
-Subproject commit 6c4f4e1990b76be8a07bde1956d2e3452fd55ee4
+Subproject commit c14e98417feb406df66e821ccd81e1293b4baa6f

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-Subproject commit 6c4f4e1990b76be8a07bde1956d2e3452fd55ee4`
	`1`	`+Subproject commit c14e98417feb406df66e821ccd81e1293b4baa6f`