Sync with 5.2.0

[deliverable/titan.core.git] / compiler2 / main.hh

diff --git a/compiler2/main.hh b/compiler2/main.hh
index 0beb371e600b9f2f861ab717547dd2abc5c7ad62..18ec896018586b1989fa053938e0a20360f534b4 100644 (file)
--- a/compiler2/main.hh
+++ b/compiler2/main.hh
@@ -33,7 +33,8 @@ extern unsigned int nof_notupdated_files;
 extern boolean generate_skeleton, force_overwrite, include_line_info,
   include_location_info, duplicate_underscores, parse_only, semantic_check_only,
   output_only_linenum, default_as_optional, use_runtime_2, gcc_compat, asn1_xer,
-  check_subtype, suppress_context, enable_set_bound_out_param, display_up_to_date;
+  check_subtype, suppress_context, enable_set_bound_out_param, display_up_to_date,
+  implicit_json_encoding, json_refs_for_all_types, profiler_enabled;
 
 extern const char *expected_platform;