Fix rovers usage string (#23)

AI-Planning · Jun 8, 2024 · f8ee271 · f8ee271
1 parent 93b7b56
commit f8ee271
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/rovers/.gitignore b/rovers/.gitignore
@@ -0,0 +1 @@
+gmon.out
diff --git 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 <filename>]\n\t\t<seed> <#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 <filename>]\n\t\t<seed> <#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);
 };