diff options
Diffstat (limited to 'src/session.h')
| -rw-r--r-- | src/session.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/session.h b/src/session.h index 38062b78..879efeb6 100644 --- a/src/session.h +++ b/src/session.h @@ -65,6 +65,7 @@ public: explicit session_t(); virtual ~session_t() { TRACE_DTOR(session_t); + parsing_context.pop(); } virtual string description() { |