Index: tests/zombies/context.cfa
===================================================================
--- tests/zombies/context.cfa	(revision dda3e2a961e410d4b562f20c6756d7e961513249)
+++ tests/zombies/context.cfa	(revision cc18e17a04be1387ff78844a5d96eb7d492dce4f)
@@ -1,10 +1,10 @@
 // trait declaration
 
-trait has_q( otype T ) {
+trait has_q( T ) {
 	T q( T );
 };
 
-forall( otype z | has_q( z ) ) void f() {
-	trait has_r( otype T, otype U ) {
+forall( z | has_q( z ) ) void f() {
+	trait has_r( T, U ) {
 		T r( T, T (T,U) );
 	};