From fdd15f6e418277e471e92a8a32f1e2229c3325f5 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 17 May 2013 09:54:15 -0400
Subject: Better error on illegal (pop N); also more compliant SMT-LIB error
 messages in some places

Thanks to David Cok for reporting these issues.
---
 src/parser/parser.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/parser/parser.h')

diff --git a/src/parser/parser.h b/src/parser/parser.h
index 1ca56dc06..d13fbf2d6 100644
--- a/src/parser/parser.h
+++ b/src/parser/parser.h
@@ -482,6 +482,7 @@ public:
     }
   }
 
+  inline size_t scopeLevel() const { return d_symtab->getLevel(); }
   inline void pushScope() { d_symtab->pushScope(); }
   inline void popScope() { d_symtab->popScope(); }
 
-- 
cgit v1.2.3