[PPL-devel] [GIT] ppl/ppl(devel): Comment fixed.

[Roberto Bagnara]

Module: ppl/ppl
Branch: devel
Commit: 8d3f553e0b15448619958aacdf764920a3bd94c7
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d3f553e0b15448619958aacdf764920a3bd94c7

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Wed Jun 24 18:34:01 2020 +0200

Comment fixed.

---

 demos/ppl_lcdd/Thread_Pool_defs.hh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/demos/ppl_lcdd/Thread_Pool_defs.hh b/demos/ppl_lcdd/Thread_Pool_defs.hh
index 20d2586..3103f36 100644
--- a/demos/ppl_lcdd/Thread_Pool_defs.hh
+++ b/demos/ppl_lcdd/Thread_Pool_defs.hh
@@ -17,7 +17,7 @@
 
   Note: these are significantly abridged versions, removing all
   functionalities except those directly used in the multi-threaded
-  version of ppl_devel.
+  version of the PPL.
 */
 
 template <typename T>