merge bug14597605 to 5.5.

This commit is contained in:
Andrei Elkin 2012-09-10 17:35:28 +03:00
commit 3bcbacd8e6

View File

@ -2589,7 +2589,7 @@ public:
and which case the applier adjusts execution path.
*/
bool is_deferred() { return deferred; }
void set_deferred() { deferred= val; }
void set_deferred() { deferred= true; }
#endif
bool is_valid() const { return 1; }