From ad20f66c010b3eb7243beb2e3cae21e984d67a64 Mon Sep 17 00:00:00 2001
From: John Regehr <regehr@cs.utah.edu>
Date: Mon, 22 Aug 2011 11:30:00 -0600
Subject: [PATCH] Rename --upper-expr-complexity to --max-expr-complexity to be
 consistent with similar options (and also with the corresponding internal
 variable).

---
 src/RandomProgramGenerator.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/RandomProgramGenerator.cpp b/src/RandomProgramGenerator.cpp
index 5b25809d7..9f8a890ba 100644
--- a/src/RandomProgramGenerator.cpp
+++ b/src/RandomProgramGenerator.cpp
@@ -168,7 +168,7 @@ static void print_help()
 	cout << "  --max-array-len-per-dim <num>: limit array length per dimension to <num> (default 10)." << endl << endl;
 	cout << "  --max-block-depth <num>: limit depth of nested blocks to <num> (default 5)." << endl << endl;
 	cout << "  --max-block-size <size>: limit the number of non-return statements in a block to <size> (default 4)." << endl << endl; 
-	cout << "  --upper-expr-complexity <num>: limit expression complexities to <num> (default 10)." << endl << endl;
+	cout << "  --max-expr-complexity <num>: limit expression complexities to <num> (default 10)." << endl << endl;
 	cout << "  --max-funcs <num>: limit the number of functions (besides main) to <num>  (default 10)." << endl << endl;
 	cout << "  --max-pointer-depth <depth>: limit the indirect depth of pointers to <depth> (default 2)." << endl << endl;
 	cout << "  --max-struct-fields <num>: limit the number of struct fields to <num> (default 10). " << endl << endl;
@@ -1080,7 +1080,7 @@ main(int argc, char **argv)
 			continue;
 		}
 
-		if (strcmp (argv[i], "--upper-expr-complexity") ==0 ) {
+		if (strcmp (argv[i], "--max-expr-complexity") ==0 ) {
 			unsigned long comp;
 			i++;
 			arg_check(argc, i);