diff -r 3d682f87c870 -r dea39ef02847 stage1_2/stage1_2_priv.hh
--- a/stage1_2/stage1_2_priv.hh	Mon Feb 24 22:00:55 2014 +0000
+++ b/stage1_2/stage1_2_priv.hh	Sun Mar 02 16:42:56 2014 +0000
@@ -93,6 +93,12 @@
 /************************************/
 bool get_opt_nested_comments();
 
+/************************************/
+/* whether to allow REF() operator  */
+/************************************/
+bool get_opt_ref_operator();
+
+
 
 /*************************************************************/
 /*************************************************************/