equal
deleted
inserted
replaced
90 |
90 |
91 /************************************/ |
91 /************************************/ |
92 /* whether to allow nested comments */ |
92 /* whether to allow nested comments */ |
93 /************************************/ |
93 /************************************/ |
94 bool get_opt_nested_comments(); |
94 bool get_opt_nested_comments(); |
|
95 |
|
96 /************************************/ |
|
97 /* whether to allow REF() operator */ |
|
98 /************************************/ |
|
99 bool get_opt_ref_operator(); |
|
100 |
95 |
101 |
96 |
102 |
97 /*************************************************************/ |
103 /*************************************************************/ |
98 /*************************************************************/ |
104 /*************************************************************/ |
99 /**** *****/ |
105 /**** *****/ |