Module: ppl/ppl Branch: master Commit: 1965308c8331fc0941d3fdb3db748115989ec548 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1965308c8331f...
Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Nov 30 00:03:48 2014 +0100
Capitalization and punctuation fixed.
---
src/Handler_defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/Handler_defs.hh b/src/Handler_defs.hh index 3a83b33..d410ea4 100644 --- a/src/Handler_defs.hh +++ b/src/Handler_defs.hh @@ -71,7 +71,7 @@ public: virtual void act() const;
private: - // declare holder as reference to volatile pointer to const Flag_Base + // Declare holder as reference to volatile pointer to const Flag_Base. const Flag_Base* volatile& h; Flag& f; };