Index: libcfa/prelude/builtins.c
===================================================================
--- libcfa/prelude/builtins.c	(revision 8ee211d29f63ed8c631e2d37e8961781dfa45eaf)
+++ libcfa/prelude/builtins.c	(revision ad8b6dfa61caa02d1ecf946bdd5412d385adbed4)
@@ -10,6 +10,6 @@
 // Created On       : Fri Jul 21 16:21:03 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun Dec  8 09:01:23 2024
-// Update Count     : 149
+// Last Modified On : Thu Dec 12 18:22:26 2024
+// Update Count     : 150
 //
 
@@ -82,5 +82,5 @@
 // can be "simplified" to
 //     forall( T& | is_value(T) ...
-forall( T* )
+forall( T * )
 trait is_value {
 	void ?{}( T&, T );
