merge bug14597605 to the main repo.

This commit is contained in:
Andrei Elkin 2012-09-10 17:33:41 +03:00
commit 8a048ecb59

View File

@ -2508,7 +2508,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; }