From a125f24d29fd8275be7283a2edca9abc125703d7 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Thu, 1 Mar 2012 23:40:02 -0600
Subject: Allow --options to be added by the user in Python

---
 src/session.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/session.h')

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() {
-- 
cgit v1.2.3