diff -r 0ad7843d3790 -r 9e824bb0c3d4 stage1_2/stage1_2.cc
--- a/stage1_2/stage1_2.cc	Sat Aug 09 09:20:03 2014 +0100
+++ b/stage1_2/stage1_2.cc	Sat Aug 09 10:12:38 2014 +0100
@@ -238,7 +238,8 @@
 int stage2__(const char *filename, 
              const char *includedir,     /* Include directory, where included files will be searched for... */
              symbol_c **tree_root_ref,
-             bool full_token_loc         /* error messages specify full token location */
+             bool full_token_loc,        /* error messages specify full token location */
+             bool ref_to_any             /* allow use of non-standard REF_TO ANY datatypes */
             );
 
 
@@ -258,6 +259,6 @@
   ref_operator_    = options.ref_operator;    
   safe_extensions_ = options.safe_extensions;
   conversion_functions_ = options.conversion_functions;
-  return stage2__(filename, options.includedir, tree_root_ref, options.full_token_loc);
-}
-
+  return stage2__(filename, options.includedir, tree_root_ref, options.full_token_loc, options.ref_to_any);
+}
+