stage1_2/stage1_2.hh
changeset 746 c7219a37cc39
parent 279 c0453b7f99df
child 867 a435684a5223
--- a/stage1_2/stage1_2.hh	Thu Nov 15 17:30:35 2012 +0100
+++ b/stage1_2/stage1_2.hh	Fri Nov 16 10:26:23 2012 +0100
@@ -60,6 +60,8 @@
 		/* 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;
 } stage1_2_options_t;