stage1_2/stage1_2.hh
changeset 870 9c6c588fd708
parent 867 a435684a5223
child 873 dea39ef02847
--- a/stage1_2/stage1_2.hh	Wed Feb 19 22:25:10 2014 +0100
+++ b/stage1_2/stage1_2.hh	Wed Feb 19 22:27:11 2014 +0100
@@ -57,12 +57,10 @@
 		/* Version 1.0 – Official Release                     */
 		/******************************************************/
 	bool safe_extensions;
-		/* error messages specify full token location */
-	bool full_token_loc; 
-		/* Include directory, where included files will be searched for... */
-	bool conversion_functions;
-		/* Create a conversion function for derived datatype */
-	const char *includedir;
+	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. */
+	const char *includedir;    /* Include directory, where included files will be searched for... */
 } stage1_2_options_t;