diff -r f8f1d89ff7d5 -r 9ed5aff159db main.hh
--- a/main.hh	Sun Dec 28 12:05:39 2014 +0000
+++ b/main.hh	Sun Dec 28 13:29:47 2014 +0000
@@ -47,6 +47,7 @@
 	bool nested_comments;          /* Allow the use of nested comments. */
 	bool ref_standard_extensions;  /* Allow the use of REFerences (keywords REF_TO, REF, DREF, ^, NULL). */
 	bool ref_nonstand_extensions;  /* Allow the use of non-standard extensions to REF_TO datatypes: REF_TO ANY, and REF_TO in struct elements! */
+	bool nonliteral_in_array_size; /* Allow the use of constant non-literals when specifying size of arrays (ARRAY [1..max] OF INT) */
 	const char *includedir;        /* Include directory, where included files will be searched for... */
 	
    /* options specific to stage3 */