Changes in tests/zombies/simplePoly.c [fd54fef:87b9332]
- File:
-
- 1 edited
-
tests/zombies/simplePoly.c (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
tests/zombies/simplePoly.c
rfd54fef r87b9332 14 14 // 15 15 16 forall( T,U | { T f( T, U ); } )16 forall( otype T, otype U | { T f( T, U ); } ) 17 17 T q( T t, U u ) { 18 18 return f( t, u );
Note:
See TracChangeset
for help on using the changeset viewer.
