--- a/stage1_2/stage1_2_priv.hh	Sat Feb 15 23:58:16 2014 +0000
+++ b/stage1_2/stage1_2_priv.hh	Sun Feb 16 00:37:40 2014 +0000
@@ -88,6 +88,10 @@
 /******************************************************/
 bool get_opt_safe_extensions();
 
+/************************************/
+/* whether to allow nested comments */
+/************************************/
+bool get_opt_nested_comments();
 
 
 /*************************************************************/