Changes between Version 20 and Version 21 of ContractReduction


Ignore:
Timestamp:
05/01/15 11:51:17 (11 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ContractReduction

    v20 v21  
    142142{{{
    143143void comm_dequeue($comm comm, ....)
    144   $depends $access(*comm);
     144  $depends {$access(*comm)}
    145145;
    146146}}}