diff options
| author | Pixel <> | 2001-03-07 00:56:25 +0000 |
|---|---|---|
| committer | Pixel <> | 2001-03-07 00:56:25 +0000 |
| commit | 2bdee57d554ad4554f35104ada19c87f0674d45b (patch) | |
| tree | 2a87120f47a25d8cd3719c823b8cce425d496295 /src/main.cc | |
| parent | 3aff7aaa9de61a5f3430bd86960c4f9c4b958786 (diff) | |
Derniere mise au point
Diffstat (limited to 'src/main.cc')
| -rw-r--r-- | src/main.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main.cc b/src/main.cc index 16e9985..ac62d21 100644 --- a/src/main.cc +++ b/src/main.cc @@ -122,7 +122,7 @@ void Usage(void) cerr << _("Type is a number taken from this list:") << endl; cerr << _(" 0 : Binary Heap (default)") << endl; cerr << _(" 1 : Binomial Heap") << endl; - cerr << _(" 2 : Fibbonacci Heap (bugged)") << endl; + cerr << _(" 2 : Fibonacci Heap") << endl; cerr << _(" 3 : Sorted chained list") << endl; cerr << _("-f file means that you specify a dictionnary file which is") << endl; cerr << _(" structured as described into the README file.") << endl; @@ -177,6 +177,7 @@ int main(int argc, char **argv) } if (method != -1) { cerr << _("Extra command: ") << *argv << endl; + Usage(); } method = (*argv)[0] - '0'; } |