[GIT] ppl/ppl(master): Useless comma removed.

Module: ppl/ppl Branch: master Commit: 9b5f5fd6156cef86d35e847a8d38265740737c2f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b5f5fd6156ce...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 27 17:57:58 2010 +0100
Useless comma removed.
---
interfaces/C/ppl_c_header.h | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/interfaces/C/ppl_c_header.h b/interfaces/C/ppl_c_header.h index 3e7938a..b5d8e50 100644 --- a/interfaces/C/ppl_c_header.h +++ b/interfaces/C/ppl_c_header.h @@ -340,7 +340,7 @@ enum ppl_enum_error_code { its internal logic. This happens, for instance, when the client attempts to use the timeout facilities on a system that does not support them. */ - PPL_ERROR_LOGIC_ERROR = -12, + PPL_ERROR_LOGIC_ERROR = -12 };
/*! \brief
participants (1)
-
Roberto Bagnara