From f8ee271c15415a9dbb406a4fa7e67c80af43fc35 Mon Sep 17 00:00:00 2001 From: Masataro Asai Date: Sat, 8 Jun 2024 17:41:36 -0400 Subject: [PATCH] Fix rovers usage string (#23) --- rovers/.gitignore | 1 + rovers/rovgen.cc | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) create mode 100644 rovers/.gitignore diff --git a/rovers/.gitignore b/rovers/.gitignore new file mode 100644 index 00000000..7cdbba38 --- /dev/null +++ b/rovers/.gitignore @@ -0,0 +1 @@ +gmon.out diff --git a/rovers/rovgen.cc b/rovers/rovgen.cc index 731c2b8f..a51219a9 100755 --- a/rovers/rovgen.cc +++ b/rovers/rovgen.cc @@ -877,7 +877,7 @@ ostream & operator<<(ostream& o,const RoverDom & d) void usage(int u) { cout << u; - cout << "Useage: rovergen [-s|-t|-n|-u|-f ]\n\t\t <#rovers> <#waypoints> <#objectives> <#cameras> <#n-goals> \n\n\tOptions:\n\tu: untyped version\n\ts: simple-time\n\tt: time\n\tn: numeric\n\tf: optional file for output\n\n\tAll numbers are integers.\n\n"; + cout << "Usage: rovgen [-s|-t|-n|-u|-f ]\n\t\t <#rovers> <#waypoints> <#objectives> <#cameras> <#n-goals> \n\n\tOptions:\n\tu: untyped version\n\ts: simple-time\n\tt: time\n\tn: numeric\n\tf: optional file for output\n\n\tAll numbers are integers.\n\n"; exit(0); };