update stdarch

RalfJung · RalfJung · commit 0a0d0837b0f6 · 2024-02-24T12:15:21.000+01:00
diff --git a/stdarch b/stdarch
@@ -1 +1 @@
-Subproject commit d5fab978fe1c2f0043db0451e9f4857eeba17437
+Subproject commit 56087ea170d878a7a57b3a5725e0c00f5f5cad70

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-Subproject commit d5fab978fe1c2f0043db0451e9f4857eeba17437`
	`1`	`+Subproject commit 56087ea170d878a7a57b3a5725e0c00f5f5cad70`