diff options
| author | John Wiegley <johnw@newartisans.com> | 2012-03-01 23:40:02 -0600 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2012-03-01 23:40:02 -0600 |
| commit | a125f24d29fd8275be7283a2edca9abc125703d7 (patch) | |
| tree | b649aeeef3b75be85cae8197467c5fb02066d486 /src/session.h | |
| parent | cfd7ffb12645c198a5b15891654f6ad6a0e4db27 (diff) | |
| download | fork-ledger-a125f24d29fd8275be7283a2edca9abc125703d7.tar.gz fork-ledger-a125f24d29fd8275be7283a2edca9abc125703d7.tar.bz2 fork-ledger-a125f24d29fd8275be7283a2edca9abc125703d7.zip | |
Allow --options to be added by the user in Python
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() { |