Index: libcfa/src/stdlib.cfa
===================================================================
--- libcfa/src/stdlib.cfa	(revision c8238c00ed96c639babee55fa0bdf07e27b983a8)
+++ libcfa/src/stdlib.cfa	(revision 8a3d5e7b4938c05c62072d5842a42552fee98198)
@@ -10,6 +10,6 @@
 // Created On       : Thu Jan 28 17:10:29 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Nov 30 18:14:05 2022
-// Update Count     : 622
+// Last Modified On : Sat Dec  3 17:14:13 2022
+// Update Count     : 623
 //
 
@@ -229,5 +229,9 @@
 __attribute__((visibility("hidden"))) PRNG_STATE_T __global_random_state; // sequential only
 
-void set_seed( size_t seed ) { __global_random_seed = seed; PRNG_SET_SEED( __global_random_state, seed ); PRNG_NAME( __global_random_state ); }
+void set_seed( size_t seed ) {
+	__global_random_seed = seed;
+	PRNG_SET_SEED( __global_random_state, seed );
+	PRNG_NAME( __global_random_state );
+}
 size_t get_seed() { return __global_random_seed; }
 size_t prng( void ) { return PRNG_NAME( __global_random_state ); } // [0,UINT_MAX]