Changes in tests/zombies/scope.cfa [fd54fef:686cb63]

File:

• tests/zombies/scope.cfa (modified) (1 diff)

tests/zombies/scope.cfa

@@ -20 +20 @@
 y p;
 
-trait has_u( z ) {
+trait has_u( otype z ) {
         z u(z);
 };
 
-forall( t | has_u( t ) )
+forall( otype t | has_u( t ) )
 y q( t the_t ) {
         t y = u( the_t );