Module: ppl/ppl Branch: master Commit: d8a9cfe7cf1e6ddeaf08b4647a3f29d88f9f924b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8a9cfe7cf1e6...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 16 10:57:35 2009 +0200
Usage string fixed: ppl_lcdd accepts at most one input file.
---
demos/ppl_lcdd/ppl_lcdd.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc index e174030..b0d33d5 100644 --- a/demos/ppl_lcdd/ppl_lcdd.cc +++ b/demos/ppl_lcdd/ppl_lcdd.cc @@ -162,7 +162,7 @@ struct option long_options[] = { #endif
static const char* usage_string -= "Usage: %s [OPTION]... [FILE]...\n" += "Usage: %s [OPTION]... [FILE]\n" "Reads an H-representation (resp., a V-representation) of a polyhedron\n" "and generates a V-representation (resp., an H-representation) of\n" "the same polyhedron.\n\n"