Module: ppl/ppl Branch: master Commit: 34bdedf290277a3612632c8af7d83a42566c3c2f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34bdedf290277...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 21 19:58:52 2009 +0100
Typo fixed.
---
NEWS | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/NEWS b/NEWS index c704749..01aeca5 100644 --- a/NEWS +++ b/NEWS @@ -35,7 +35,7 @@ o The C interface now provides functions of the form int ppl_io_asprint_Polyhedron(char** strp, P x)
where `P' is any opaque pointer to a const PPL object. These functions - prints `x' to a malloc-allocated string, a pointer to which is returned + print `x' to a malloc-allocated string, a pointer to which is returned via `strp'.