Index: libcfa/prelude/prelude-gen.cc
===================================================================
--- libcfa/prelude/prelude-gen.cc	(revision 4dbdd1d1f8ade34eeee889620372011b6688a9ea)
+++ libcfa/prelude/prelude-gen.cc	(revision 1fbf481de7b6f658d4627f71c96ffba349954e16)
@@ -159,5 +159,5 @@
 int main() {
 	cout << "# 2 \"prelude.cfa\"  // needed for error messages from this file" << endl;
-	cout << "forall( T & ) trait sized {};" << endl;
+	cout << "forall( T * ) trait sized {};" << endl;
 
 	cout << "//////////////////////////" << endl;