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

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 9b5f5fd6156cef86d35e847a8d38265740737c2f
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b5f5fd6156cef86d35e847a8d38265740737c2f

Author: Roberto Bagnara <bagnara at 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