diff -r c8c48ab075e0 -r a435684a5223 stage1_2/stage1_2.cc
--- a/stage1_2/stage1_2.cc	Sat Feb 15 23:58:16 2014 +0000
+++ b/stage1_2/stage1_2.cc	Sun Feb 16 00:37:40 2014 +0000
@@ -63,6 +63,12 @@
 bool safe_extensions_ = false;
 bool get_opt_safe_extensions() {return safe_extensions_;}
 
+/************************************/
+/* whether to allow nested comments */
+/************************************/
+bool nested_comments_ = false;
+bool get_opt_nested_comments() {return nested_comments_;}
+
 /******************************************************/
 /* whether we are supporting conversion functions     */
 /* for enumerate data types                           */
@@ -241,6 +247,7 @@
        *       We now set those variables...
        */
 
+  nested_comments_ = options.nested_comments;    
   safe_extensions_ = options.safe_extensions;
   conversion_functions_ = options.conversion_functions;
   return stage2__(filename, options.includedir, tree_root_ref, options.full_token_loc);