Index: libcfa/prelude/builtins.c
===================================================================
--- libcfa/prelude/builtins.c	(revision 8ee211d29f63ed8c631e2d37e8961781dfa45eaf)
+++ libcfa/prelude/builtins.c	(revision 63b32f9d78b543462283bbd288cb90544ee8db78)
@@ -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 );