Re: [PPL-devel] [GIT] ppl/ppl(master): Added '&' prefix to function identifiers that are not used to call the function.

On 02/21/12 12:34, Patricia Hill wrote:

Detected by Eclair service funcalls.

The right spelling is "ECLAIR". -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it