--- a/stage1_2/stage1_2_priv.hh	Wed Feb 19 22:25:10 2014 +0100
+++ b/stage1_2/stage1_2_priv.hh	Wed Feb 19 22:27:11 2014 +0100
@@ -88,6 +88,10 @@
 /******************************************************/
 bool get_opt_safe_extensions();
 
+/************************************/
+/* whether to allow nested comments */
+/************************************/
+bool get_opt_nested_comments();
 
 
 /*************************************************************/