--- a/stage1_2/stage1_2_priv.hh Sun Sep 28 16:35:44 2014 +0100
+++ b/stage1_2/stage1_2_priv.hh Sun Sep 28 17:39:28 2014 +0100
@@ -93,10 +93,10 @@
/************************************/
bool get_opt_nested_comments();
-/************************************/
-/* whether to allow REF() operator */
-/************************************/
-bool get_opt_ref_operator();
+/**************************************************************************/
+/* whether to allow REF(), DREF(), REF_TO, NULL and ^ operators/keywords */
+/**************************************************************************/
+bool get_opt_ref_standard_extensions();