[PPL-devel] [GIT] ppl/ppl(pip): Minor fix fixes in standalone solver.
François Galea
francois.galea at uvsq.fr
Mon Nov 16 18:49:56 CET 2009
Module: ppl/ppl
Branch: pip
Commit: 166aa73867fc30ec4dac5876ca0775f726d27c00
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=166aa73867fc30ec4dac5876ca0775f726d27c00
Author: François Galea <francois.galea at uvsq.fr>
Date: Mon Nov 16 18:01:21 2009 +0100
Minor fix fixes in standalone solver.
---
demos/ppl_pips/ppl_pips.cc | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/demos/ppl_pips/ppl_pips.cc b/demos/ppl_pips/ppl_pips.cc
index b7a0b98..eb47f34 100644
--- a/demos/ppl_pips/ppl_pips.cc
+++ b/demos/ppl_pips/ppl_pips.cc
@@ -440,6 +440,8 @@ struct option long_options[] = {
{"version", no_argument, 0, 'V'},
{"check", required_argument, 0, 'c'},
#endif
+ {"first", no_argument, 0, 'f'},
+ {"deepest", no_argument, 0, 'd'},
{0, 0, 0, 0}
};
#endif
More information about the PPL-devel
mailing list