stage1_2/stage1_2.hh
changeset 873 dea39ef02847
parent 867 a435684a5223
child 924 9e824bb0c3d4
--- a/stage1_2/stage1_2.hh	Mon Feb 24 22:00:55 2014 +0000
+++ b/stage1_2/stage1_2.hh	Sun Mar 02 16:42:56 2014 +0000
@@ -60,6 +60,7 @@
 	bool full_token_loc;       /* error messages specify full token location */
 	bool conversion_functions; /* Create a conversion function for derived datatype */
 	bool nested_comments;      /* Allow the use of nested comments. */
+	bool ref_operator;         /* Allow the use of REF() operator. */
 	const char *includedir;    /* Include directory, where included files will be searched for... */
 } stage1_2_options_t;