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

[Roberto Bagnara]

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 at cs.unipr.it