[PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Avoid (again) using the same macro name for different purposes.

[Enea Zaffanella]

Module: ppl/ppl
Branch: ppl-0_11-branch
Commit: 973b348f57b326c43234bf6495091813aa267a17
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=973b348f57b326c43234bf6495091813aa267a17

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Feb 23 21:01:24 2011 +0100

Avoid (again) using the same macro name for different purposes.
Doing it confuses both the reader and Doxygen.

---

 src/Checked_Number.defs.hh    |   64 ++++++------
 src/Checked_Number.inlines.hh |  230 ++++++++++++++++++++--------------------
 2 files changed, 147 insertions(+), 147 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=973b348f57b326c43234bf6495091813aa267a17