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

Module: ppl/ppl Branch: devel Commit: 8d3f553e0b15448619958aacdf764920a3bd94c7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d3f553e0b154...
Author: Roberto Bagnara roberto.bagnara@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>
participants (1)
-
Roberto Bagnara