[PPL-devel] [GIT] ppl/ppl(master): Capitalization and punctuation fixed.
Roberto Bagnara
roberto.bagnara at bugseng.com
Sun Nov 30 00:04:02 CET 2014
Module: ppl/ppl
Branch: master
Commit: 1965308c8331fc0941d3fdb3db748115989ec548
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1965308c8331fc0941d3fdb3db748115989ec548
Author: Roberto Bagnara <roberto.bagnara at 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;
};
More information about the PPL-devel
mailing list