[GIT] ppl/ppl(pip): Minor fix fixes in standalone solver.

Module: ppl/ppl Branch: pip Commit: 166aa73867fc30ec4dac5876ca0775f726d27c00 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=166aa73867fc3...
Author: François Galea francois.galea@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
participants (1)
-
François Galea