Index: src/main.cc
===================================================================
--- src/main.cc	(revision a4bdbcde528eb16d7cf6708cb3ecd21bc7935139)
+++ src/main.cc	(revision 3e9de01f9f01858a79bc4958380f9d3027858d59)
@@ -9,7 +9,7 @@
 // Author           : Peter Buhr and Rob Schluntz
 // Created On       : Fri May 15 23:12:02 2015
-// Last Modified By : Andrew Beach
-// Last Modified On : Tue May 19 12:03:00 2020
-// Update Count     : 634
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Thu Oct  8 18:17:46 2020
+// Update Count     : 637
 //
 
@@ -451,5 +451,5 @@
 
 
-static const char optstring[] = ":c:ghlLmNnpdP:S:twW:D:";
+static const char optstring[] = ":c:ghlLmNnpdOAP:S:twW:D:";
 
 enum { PreludeDir = 128 };
@@ -478,23 +478,23 @@
 
 static const char * description[] = {
-	"diagnostic color: never, always, or auto.",          // -c
-	"wait for gdb to attach",                             // -g
-	"print help message",                                 // -h
-	"generate libcfa.c",                                  // -l
-	"generate line marks",                                // -L
-	"do not replace main",                                // -m
-	"do not generate line marks",                         // -N
-	"do not read prelude",                                // -n
+	"diagnostic color: never, always, or auto.",		// -c
+	"wait for gdb to attach",							// -g
+	"print help message",								// -h
+	"generate libcfa.c",								// -l
+	"generate line marks",								// -L
+	"do not replace main",								// -m
+	"do not generate line marks",						// -N
+	"do not read prelude",								// -n
 	"generate prototypes for prelude functions",		// -p
-	"don't print output that isn't deterministic",        // -d
-	"Use the old-ast",                                    // -O
-	"Use the new-ast",                                    // -A
-	"print",                                              // -P
+	"only print deterministic output",                  // -d
+	"Use the old-ast",									// -O
+	"Use the new-ast",									// -A
+	"print",											// -P
 	"<directory> prelude directory for debug/nodebug",	// no flag
 	"<option-list> enable profiling information:\n          counters,heap,time,all,none", // -S
-	"building cfa standard lib",                          // -t
-	"",                                                   // -w
-	"",                                                   // -W
-	"",                                                   // -D
+	"building cfa standard lib",						// -t
+	"",													// -w
+	"",													// -W
+	"",													// -D
 }; // description