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

-- 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